Cover Image
Read Now

81
by Beeson, M.J.
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...One. Practice and Philosophy of Constructive Mathematics -- I. Examples of Constructive Mathematics...”
Cover Image
Read Now

83
Published 1969
Springer Berlin Heidelberg
Table of Contents: “...Realism as a Philosophy of Mathematics -- The Undecidability of ?K-Conversion -- The Definability...”
Cover Image
Read Now

84
by Kuyk, W.
Published 1977
Springer Netherlands
Table of Contents: “.... The Philosophy of Mathematics in History -- II.3. Transition to the Present Century -- II.4. Directions in the 20...”
Cover Image
Read Now

85
by Novaes, Catarina Dutilh
Published 2012
Cambridge University Press
“... what exactly is going on when theorists put these tools to use. She looks at the history and philosophy...”
Cover Image
Read Now

86
by Ebbinghaus, Heinz-Dieter
Published 1989
North-Holland
Table of Contents: “...; Chapter 12. Some Aspects of Impredicativity: Notes on Weyl's Philosophy of Mathematics and on Today's Type...”
Cover Image
Read Now

87
Published 2024
Birkhäuser
Table of Contents: “... Corcoran, Francisco Rodríguez-Consuegra -- Chapter 12. The Philosophy of Logic of John Corcoran, José...”
Cover Image
Read Now

88
by Benthem, Johan van
Published 2011
Cambridge University Press
Table of Contents: “... dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting...”
Cover Image
Read Now

89
by Tieszen, Richard L.
Published 2011
Oxford University Press
“...Tieszen analyzes, develops, and defends the writings of Kurt Gèodel on the philosophy...”
Cover Image
Read Now

90
by Parrochia, Daniel, Neuville, Pierre
Published 2013
Birkhäuser
“... and the philosophy one may eventually adopt to go further. To this end they present some advances made in the course...”
Cover Image
Read Now

91
Published 2007
Cambridge University Press
Table of Contents: “... Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy...”
Cover Image
Read Now

92
by Leblanc, Hugues
Published 1973
North-Holland
Table of Contents: “... Generalization of Intuitionistic and Modal Logics; Chapter 14. Philosophy and Formal Semantics; Chapter 15...”
Cover Image
Read Now

93
Published 1981
Springer Berlin Heidelberg
Table of Contents: “...-isomorphic natural number series -- Reflections on Bishop's philosophy of mathematics -- Formalizing...”
Cover Image
Read Now

94
by Gabbay, Dov M.
Published 2005
Oxford University Press
“..., artificial intelligence, logic programming philosophy of science, and natural language...”
Cover Image
Read Now

95
by Rautenberg, Wolfgang
Published 2010
Springer New York
“...Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can...”
Cover Image
Read Now

96
by Mayberry, John P.
Published 2000
Cambridge University Press
“... by recursion. The subject matter of the book falls on the borderline between philosophy and mathematics...”
Cover Image
Read Now

97
by Incurvati, Luca
Published 2020
Cambridge University Press
“.... His book will be of interest to researchers and advanced students in logic and the philosophy...”
Cover Image
Read Now

98
by Avigad, Jeremy
Published 2023
Cambridge University Press
“... who are interested in logic in mathematics, computer science, and philosophy, and an invaluable...”
Cover Image
Read Now

99
Published 2018
Springer International Publishing
“... and Analytic  Philosophy, Theory of Models and Linguistics...”
Cover Image
Read Now

100
by Tourlakis, George J.
Published 2003
Cambridge University Press
“... or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user...”