- Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.details
|
|
How to Live Without Identity—And Why.Kai F. Wehmeier - 2012 - Australasian Journal of Philosophy 90 (4):761 - 777.details
|
|
A Logical Approach to Philosophy: Essays in Memory of Graham Solomon.David DeVidi & Tim Kenyon (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)The Foundations of Geometry.David Hilbert - 1899 - Open Court Company (This Edition Published 1921).details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
(1 other version)On the Experience of Time.Bertrand Russell - 1915 - The Monist 25 (2):212-233.details
|
|
(1 other version)Les fondements des mathématiques: intuitionnisme, théorie de la démonstration.Arend Heyting - 1955 - Paris,: E. Nauwelaerts.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Truth and Pluralism: Current Debates.Nikolaj Jang Lee Linding Pedersen & Cory Wright (eds.) - 2012 - Oxford, England: Oxford University Press.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Reference and generality.P. T. Geach - 1962 - Ithaca, N.Y.,: Cornell University Press. Edited by Michael C. Rea.details
|
|
Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.details
|
|
Individuals: An Essay in Descriptive Metaphysics.Peter F. Strawson - 1959 - London, England: Routledge. Edited by Wenfang Wang.details
|
|
Frege: Philosophy of Language.Michael Dummett - 1973 - London: Duckworth.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The foundations of arithmetic: a logico-mathematical enquiry into the concept of number.Gottlob Frege - 1974 - Evanston, Ill.: Northwestern University Press. Edited by J. L. Austin.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.details
|
|
Plotinus.Lloyd P. Gerson - 1994 - New York: Routledge.details
|
|
Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.details
|
|
(1 other version)From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Truth and objectivity.Crispin Wright - 1992 - Cambridge: Harvard University Press.details
|
|
(1 other version)Theory of knowledge: the 1913 manuscript.Bertrand Russell - 1913/1992 - New York: Routledge. Edited by Elizabeth Ramsden Eames & Kenneth Blackwell.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
(2 other versions)Introduction to Logic.J. Dopp - 1957 - Journal of Symbolic Logic 22 (4):353-354.details
|
|
Completeness of indexed varepsilon -calculus.G. E. Mints & Darko Sarenac - 2003 - Archive for Mathematical Logic 42 (7):617--625.details
|
|
(2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
(1 other version)Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.details
|
|
(2 other versions)Georg Cantor, His Mathematics and Philosophy of the Infinite.Arnold Oberschelp - 1982 - Journal of Symbolic Logic 47 (2):456-457.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Choice functions and the scopal semantics of indefinites.Yoad Winter - 1997 - Linguistics and Philosophy 20 (4):399-467.details
|
|
(1 other version)Mr. Strawson on referring.Bertrand Russell - 1957 - Mind 66 (263):385-389.details
|
|
Quantifier scope: How labor is divided between QR and choice functions. [REVIEW]Tanya Reinhart - 1997 - Linguistics and Philosophy 20 (4):335-397.details
|
|
Hilbert's program then and now.Richard Zach - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 411–447.details
|
|
(1 other version)Filozofia matematyki: antologia tekstów klasycznych.Roman Murawski (ed.) - 1986 - Poznań: Uniwersytet im. Adama Mickiewicza w Poznaniu.details
|
|
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.details
|
|
On the Plurality of Worlds.David Lewis - 1986 - Revue Philosophique de la France Et de l'Etranger 178 (3):388-390.details
|
|
Origins of Analytical Philosophy.Michael Dummett - 1994 - Philosophy 69 (268):246-248.details
|
|
(2 other versions)Michael Dummett, Frege: Philosophy of Language. [REVIEW]Hidé Ishiguro - 1974 - Philosophy 49 (190):438-442.details
|
|
(1 other version)Steps Toward a Constructive Nominalism.Nelson Goodman & W. V. Quine - 1947 - Journal of Symbolic Logic 13 (1):49-50.details
|
|
(2 other versions)The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.details
|
|
(1 other version)Logic, Semantics, Metamathematics: Papers from 1923 to 1938.I. Grattan-Guinness - 1956 - Journal of Symbolic Logic 54 (1):281-282.details
|
|
(1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
The Principles of Logic.F. H. Bradley - 1923 - Mind 32 (127):352-356.details
|
|
(2 other versions)Introduction to Semantics.Rudolf Carnap - 1942 - Philosophy of Science 9 (3):281-282.details
|
|