Sign in with Facebook
Philosophy Of Mathematics Logic Books
Showing 1-50 of 305
Wittgenstein, Finitism, and the Foundations of Mathematics (Oxford Philosophical Monographs)
by (shelved 2 times as philosophy-of-mathematics-logic)
avg rating 4.38 — 8 ratings — published 1998
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy: Digitization in Mathematics, Computer Science, and Philosophy (Kindle Edition)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.00 — 1 rating — published
The Foundational Debate: Complexity and Constructivity in Mathematics and Physics (Vienna Circle Institute Yearbook Book 3)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.20 — 5 ratings — published 1999
Descartes' Dream: The World According to Mathematics (Dover Books on Mathematics)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.67 — 76 ratings — published 1986
Logiciel: Six Seminars on Computational Reason (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.40 — 5 ratings — published
Kant's Intuitionism: A Commentary on the Transcendental Aesthetic (Toronto Studies in Philosophy)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 5.00 — 1 rating — published 1995
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies (Lecture Notes in Logic, Series Number 36)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published 2011
The Incomputable (Theory and Applications of Computability)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.00 — 2 ratings — published
The Selected Correspondence of L.E.J. Brouwer (Sources and Studies in the History of Mathematics and Physical Sciences)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published 2011
Mathematical Discovery on Understanding, Learning and Teaching Problem Solving, Volumes I and II (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.25 — 48 ratings — published 1965
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics (Sources and Studies in the History of Mathematics and Physical Sciences)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published
What is Mathematical Logic? (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.68 — 34 ratings — published 1972
A Mathematical Prelude to the Philosophy of Mathematics (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 5.00 — 3 ratings — published 2014
Logos and Alogon: Thinkable and the Unthinkable in Mathematics, from the Pythagoreans to the Moderns (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 2.00 — 1 rating — published
Ad Infinitum... The Ghost in Turing's Machine: Taking God Out of Mathematics and Putting the Body Back In. An Essay in Corporeal Semiotics (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.96 — 24 ratings — published 1993
Proof and the Art of Mathematics (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.38 — 26 ratings — published
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics (Kindle Edition)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.80 — 5 ratings — published
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.71 — 7 ratings — published 2005
Handbook of Analysis and Its Foundations (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 5.00 — 3 ratings — published 1996
A History of Greek Mathematics, Vol. 1: From Thales to Euclid (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.09 — 53 ratings — published 1921
Indra's Pearls: The Vision of Felix Klein (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.40 — 40 ratings — published 1998
Aristotle on Mathematical Infinity (Palingenesia. Schriftenreihe Fur Klassische Altertumswissenschaft)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published 1996
Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies, 32)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.17 — 6 ratings — published 2007
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.27 — 1,168 ratings — published 2008
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.83 — 12 ratings — published 2000
Revolutions and Continuity in Greek Mathematics (Science, Technology, and Medicine in Ancient Cultures, 8)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published
Revolutions in Mathematics (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.75 — 4 ratings — published 1992
Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 5.00 — 4 ratings — published 2011
Levels of Infinity: Selected Writings on Mathematics and Philosophy (Dover Books on Mathematics)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.32 — 25 ratings — published 2012
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics (The Western Ontario Series in Philosophy of Science Book 82)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.00 — 1 rating — published
Intuitionistic Set Theory (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published 2014
The collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.50 — 4 ratings — published 1970
Boolean Algebra (Dover Books on Mathematics)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.73 — 11 ratings — published 2007
Mathematics as a Cultural System (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.00 — 2 ratings — published 1981
Introduction to the Foundations of Mathematics (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.20 — 10 ratings — published 1965
Towards a Philosophy of Real Mathematics (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.29 — 14 ratings — published 1999
Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World (Nook)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.87 — 1,034 ratings — published 2014
Mathematics and Computation: A Theory Revolutionizing Technology and Science (Kindle Edition)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.80 — 10 ratings — published 2019
First-Order Logic (Dover Books on Mathematics)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.11 — 83 ratings — published 1968
Diagonalization and Self-Reference (Oxford Logic Guides)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.50 — 4 ratings — published 1994
Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series, Vol. 97)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.33 — 3 ratings — published 1987
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions (Studies in Logic and the Foundations of Mathematics)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published
The Symbolic Universe: Geometry and Physics 1890-1930 (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.00 — 1 rating — published 1999
The History of Continua: Philosophical and Mathematical Perspectives (Hardcover)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published
Choice Sequences: A Chapter of Instuitionistic Mathematics (Oxford Logic Guides)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 5.00 — 1 rating — published 1977
Mathematical Constants (Encyclopedia of Mathematics and its Applications, Series Number 94)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 4.33 — 9 ratings — published 2003
Worlds Out of Nothing: A Course in the History of Geometry in the 19th Century (Springer Undergraduate Mathematics Series)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.92 — 13 ratings — published 2006
Intuitionistic Type Theory (Paperback)
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 3.88 — 8 ratings — published 1985
![Numbers (Readings in Mathematics, Volume 123) [Special Indian Edition - Reprint Year: 2020]](https://i.gr-assets.com/images/S/compressed.photo.goodreads.com/books/1696555027l/77355748._SX50_.jpg)
Numbers (Readings in Mathematics, Volume 123) [Special Indian Edition - Reprint Year: 2020]
by (shelved 1 time as philosophy-of-mathematics-logic)
avg rating 0.0 — 0 ratings — published
