#HoTT The Book : 1.11 propositions as types Laisser une réponse Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Source: #HoTT The Book : 1.11 propositions as types Voir l’article original
Orson Welles : Citizen Kane (1941, vostfr) Laisser une réponse Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Source: Orson Welles : Citizen Kane (1941, vostfr) Voir l’article original