by John Taylor, Rowan Garnier
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
Analysis (Philosophy) · Language
Tractatus logico-philosophicus
1921
Symbolic and mathematical Logic · Thought and thinking
An Investigation of the Laws of Thought (Barnes & Noble)
1854
Algebraic logic · Symbolic and mathematical Logic
Algèbre de la logique
1905
Symbolic and mathematical Logic · Logic
The Game of Logic
1886
Gödel's theorem · Mathematics
Gödel's proof
1958
German Philosophy · Langage et langues
Philosophische Untersuchungen
1953
Symbolic and mathematical Logic · Textbooks
Mathematics and plausible reasoning
1954
Logics · Teoria Do Conhecimento
Gödel, Escher, Bach
1979
