type

term in model theory and related areas of mathematics

Kategorie: