Automath
concept
Nature : langage formel, concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits
concept
Nature : langage formel, concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits