type

term in model theory and related areas of mathematics

Categorias: