#HoTT : règles de formation, d’Introduction, d’élimination et de calcul 1 réponse #HoTT : André Joyal retour sur les règles de formation, d’introduction, d’élimination et de calcul Partager :TwitterFacebookJ’aime chargement… Articles similaires
mathesisuniversalis Auteur de l’articlenovembre 4, 2017 à 4:17 A reblogué ceci sur HENOSOPHIA Réforme absolue du savoir humain ενοσοφια τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια. Répondre ↓
A reblogué ceci sur HENOSOPHIA Réforme absolue du savoir humain ενοσοφια τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια.