Mathematics, philosophy, and proof theory

Similar Works

Action	Title	Year	Authors
+	Proof theory, constructive mathematics	1987	Gert H. Müller Wolfgang Lenski Jane E. Kister D. van Dalen A. S. Troelstra
+	Foundations of Mathematics and Logicism	2008	I. Grattan‐Guinness
+	Proof theory and set theory	1985	Gaisi Takeuti
+	Philosophy and Foundations of Mathematics	1975
+	Philosophy and foundations of mathematics	1975	L. E. J. Brouwer A. Heyting
+	Proof and truth in mathematics	1963	Hugh Lacey
+	Proof and Knowledge in Mathematics	2005
+	Philosophy of Logic and Mathematics	2019	Gabriele M. Mras Paul Weingartner Bernhard Ritter
+	Proofs and proof theory	2014
+	Logic and foundations of mathematics	1968	Raymond Klibansky
+	Logic and Foundations of Mathematics	1999	Andrea Cantini Ettore Casari Pierluigi Minari
+	Logic and Foundations of Mathematics	1968	D. van Dalen J.G. Dijkman A. Heyting Stephen C Kleene A. S. Troelstra
+	Logic, Mathematics and	2000	Alex Oliver
+	Foundations of Logic and Mathematics	2002	Yves Nievergelt
+	Mathematical Logic and the Foundations of Mathematics.	1965	Trevor Evans G. T. Kneebone
+	An approach to proof theory and the scope of mathematics	2013	Jesús Rojo García
+	Mathematical Logic, Axiomatics	2021
+	Philosophy of Mathematics: An Introduction to the World of Proofs Pictures	2006	Charles R. Hampton James Robert Brown Alexander L. George Daniel J. Velleman Stewart Shapiro
+	Mathematics and logic	1987	James C. Bezdek Fip
+	Mathematics and Logic	2009	Robert J. Deltete

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors