Le moteur de recherche
des thèses françaises
Adjoua Bernadette Dango
IdRefMots clés
FR |
EN
Théorie des types
Critique et interprétation
Révision des croyances
Martin-Löf, Per (1942-....)
Fondement des Mathématiques
Théorie Constructive des Types
Dialogues
Calcul des Séquents
Théorie de la démonstration
Fonction-Type
Mathématiques constructives
Mathématiques -- Fondements
Suhrawardi
Logic
Présence
Épistémologie
Ḥikmat al-Ishrāq
Alioune
Absence et présence
Suhrawardī, Yaḥyā ibn Ḥabaš Šihāb al-Dīn al- (1155-1191). Ḥikmat al-Ishrāq