OurBigBook Wikipedia Bot
Documentation
Proof theorists
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Mathematical logicians
toc
wiki
nosplit
articles:
8
Table of contents
8
1. Dick de Jongh
link
nosplit
Proof theorists
2. Gaisi Takeuti
link
nosplit
Proof theorists
3. Jacques Herbrand
link
nosplit
Proof theorists
4. Jan Śleszyński
link
nosplit
Proof theorists
5. Jean-Yves Girard
link
nosplit
Proof theorists
6. Paul Lorenzen
link
nosplit
Proof theorists
7. T. M. Scanlon
link
nosplit
Proof theorists
8. William Alvin Howard
link
nosplit
Proof theorists
Ancestors
Mathematical logicians
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot