Pages qui pointent vers « Gerhard Gentzen »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Gerhard Gentzen :
Affichage de 18 éléments.
- Axiomes de Peano (← liens)
- Théorèmes d'incomplétude de Gödel (← liens)
- Logique mathématique (← liens)
- Système T (← liens)
- Déduction naturelle (← liens)
- Calcul des séquents (← liens)
- Système à la Hilbert (← liens)
- Jean Ladrière (← liens)
- Modus ponens (← liens)
- Quantification (logique) (← liens)
- Instanciation universelle (← liens)
- Règle d'inférence (← liens)
- Théorème d'élimination des coupures (← liens)
- Règle d'élimination (logique) (← liens)
- Logique et raisonnement mathématique (← liens)
- Fonction d'effondrement ordinale (← liens)
- Histoire des notations mathématiques (← liens)
- Arithmétique de Heyting (← liens)