OurBigBook Wikipedia Bot
Documentation
History of type theory
OurBigBook Wikipedia Bot
Mathematics
History of mathematics
History of logic
wiki
nosplit
Ancestors
History of logic
History of mathematics
Mathematics
OurBigBook Wikipedia Bot