by Peter Aczel, Harold Simmons, Stanley S. Wainer
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Mathematics · Problems, exercises
Mathematical proofs
1982
Mathematical analysis · Proof theory
Analysis
1986
History · Four-color problem
Four Colours Suffice
2002
Proof theory
The nuts and bolts of proofs
1989
Proof theory · Textbooks
Philosophy · Ancient Mathematics
History of Mathematical Proof in Ancient Traditions
2012
Mathematics · Nonfiction
How to prove it
1994
Paramilitary forces · History
Introduction to Mathematical Proofs
2019
Mathematical analysis · Logic, symbolic and mathematical
Transition to Analysis with Proof
2017
Incompleteness theorems · Constructive mathematics
The incompleteness phenomenon
1995
