type

term in model theory and related areas of mathematics

カテゴリ: