Show Summary Details

- Title Pages
- Dedication
- Preface
- Acknowledgments
- Summary
- 1 The Development of Mathematical Logic from Russell to Tarski, 1900–1935 (with Richard Zach and Calixto Badesa)
- Summary
- 2 Hilbert and Bernays on Metamathematics
- 3 Between Russell and Hilbert: Behmann on the Foundations of Mathematics
- 4 The Russellian Influence on Hilbert and His School
- 5 On the Constructivity of Proofs: A Debate among Behmann, Bernays, Gödel, and Kaufmann
- 6 Wittgenstein's Constructivization of Euler's Proof of the Infinity of Primes (with Mathieu Marion)
- 7 Between Vienna and Berlin: The Immediate Reception of Gödel's Incompleteness Theorems
- 8 Review of Gödel's Collected Works, Vols. IV and V
- Summary
- 9 Hermann Weyl: Predicativity and an Intuitionistic Excursion
- 10 Mathematics and Phenomenology: The Correspondence Between O. Becker and H. Weyl (with T. Ryckman)
- 11 Geometry,Physics, and Phenomenology: Four Letters of O. Becker to H. Weyl (with T. Ryckman)
- 12 “Das Abenteuer der Vernunft”: O. Becker and D. Mahnke on the Phenomenological Foundations of the Exact Sciences
- Summary
- 13 Harvard 1940–1941: Tarski, Carnap, and Quine on a Finitistic Language of Mathematics for Science
- 14 Quine and Tarski on Nominalism
- Summary
- 15 Tarski, Neurath, and Kokoszyńska on the Semantic Conception of Truth
- 16 Tarski on Models and Logical Consequence
- 17 Tarski on Categoricity and Completeness: An Unpublished Lecture from 1940
- 18 Appendix: “On the Completeness and Categoricity of Deductive Systems” (1940) by Alfred Tarski
- Bibliography
- Index

# (p.571) Bibliography

# (p.571) Bibliography

- Source:
- The Adventure of Reason
- Publisher:
- Oxford University Press

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .

- Title Pages
- Dedication
- Preface
- Acknowledgments
- Summary
- 1 The Development of Mathematical Logic from Russell to Tarski, 1900–1935 (with Richard Zach and Calixto Badesa)
- Summary
- 2 Hilbert and Bernays on Metamathematics
- 3 Between Russell and Hilbert: Behmann on the Foundations of Mathematics
- 4 The Russellian Influence on Hilbert and His School
- 5 On the Constructivity of Proofs: A Debate among Behmann, Bernays, Gödel, and Kaufmann
- 6 Wittgenstein's Constructivization of Euler's Proof of the Infinity of Primes (with Mathieu Marion)
- 7 Between Vienna and Berlin: The Immediate Reception of Gödel's Incompleteness Theorems
- 8 Review of Gödel's Collected Works, Vols. IV and V
- Summary
- 9 Hermann Weyl: Predicativity and an Intuitionistic Excursion
- 10 Mathematics and Phenomenology: The Correspondence Between O. Becker and H. Weyl (with T. Ryckman)
- 11 Geometry,Physics, and Phenomenology: Four Letters of O. Becker to H. Weyl (with T. Ryckman)
- 12 “Das Abenteuer der Vernunft”: O. Becker and D. Mahnke on the Phenomenological Foundations of the Exact Sciences
- Summary
- 13 Harvard 1940–1941: Tarski, Carnap, and Quine on a Finitistic Language of Mathematics for Science
- 14 Quine and Tarski on Nominalism
- Summary
- 15 Tarski, Neurath, and Kokoszyńska on the Semantic Conception of Truth
- 16 Tarski on Models and Logical Consequence
- 17 Tarski on Categoricity and Completeness: An Unpublished Lecture from 1940
- 18 Appendix: “On the Completeness and Categoricity of Deductive Systems” (1940) by Alfred Tarski
- Bibliography
- Index