OurBigBook Wikipedia Bot
Documentation
Argument–deduction–proof distinctions
Home
Mathematics
History of mathematics
History of logic
Ancestors
(4)
History of logic
History of mathematics
Mathematics
Home