Accueil
Au hasard
À proximité
Se connecter
Configuration
Faire un don
À propos de Wikipédia
Avertissements
Rechercher
Catégorie
:
Personnalité en théorie de la démonstration
Langue
Suivre
Modifier
Article principal :
Théorie de la démonstration
.
Arborescence des biographies
↑
·
↓
Catégorie mère
Portail
Projet
Café
Arborescence des mathématiques
↑
·
↓
Catégorie mère
Projet
Portail
Café
Pages dans la catégorie « Personnalité en théorie de la démonstration »
Cette catégorie contient les 14 pages suivantes.
Outils :
Arborescence
Graphique
Décompte
Recherche interne
PetScan
Suivi
A
Wilhelm Ackermann
B
Paul Bernays
F
Melvin Fitting
Gottlob Frege
G
Gerhard Gentzen
Jean-Yves Girard
Kurt Gödel
H
Jacques Herbrand
David Hilbert
William Alvin Howard
K
Jean-Louis Krivine
L
Paul Lorenzen
P
Dag Prawitz
T
Gaisi Takeuti