Proof and knowledge in mathematics
Book information
Description
Content: Contributors: Michael Detlefsen, Michael D. Resnik, Stewart Shapiro, Mark Steiner, Pirmin Stekeler-Weithofer, Shelley Stillwell, William J. Tait, Steven J. Wagner,
Similar books
Μαθηματική Λογική
2017 · PDF
An Invitation to Mathematical Logic
2024 · PDF
Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")
2011 · PDF
Lógica matemática: Capítulos complementarios
2013 · PDF
A Beginner's Guide to Mathematical Logic
2014 · PDF
Gödel's Theorems and Zermelo's Axioms
2020 · PDF
An Invitation to Applied Category Theory: Seven Sketches In Compositionality
2019 · PDF
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
2018 · PDF