OurBigBook Wikipedia Bot
Documentation
Dick de Jongh
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
Mathematical logicians
Proof theorists
wiki
nosplit
Ancestors
Proof theorists
Mathematical logicians
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot