Tag 511.3
Tagged Works
1
1
1
1
1
1
1
1
- Alan Turing's Systems of Logic: The Princeton Thesis by Andrew W. Appel
- What is Mathematical Logic? by Christopher J. Ash
- A Mathematical Introduction to Logic by Herbert B. Enderton
- How Do We Know There Is a God? by John Warwick Montgomery
- Euclid in the Rainforest: Discovering Universal Truth in Logic and Math by Joseph Mazur
- Reflections on Kurt Gödel by Hao Wang
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel
- Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter
