bn:02807993n
Noun Concept
AR
النظرية نوع مارتن lof  نظرية نوع مارتن lof
EN
Intuitionistic type theory is a type theory and an alternative foundation of mathematics based on the principles of mathematical constructivism. Wikipedia
Relations
Sources