Jean Fichot
IdRefMots clés
FR |
EN
Mathématiques constructives
Mathématiques intuitionnistes
Logique mathématique
Sémantique
Philosophie des mathématiques
Logique
Théorie de la signification
Vérificationnisme
Théorie de la démonstration
Théories axiomatiques
Constructivisme
Admissibilité logique
Correspondance de Curry-Howard
Axiomes
Axiomatique
Logique -- Philosophie
Mathématiques -- Philosophie
Signification (philosophie)