- Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Changes of mind: an essay on rational belief revision.Neil Tennant - 2012 - Oxford: Oxford University Press.details
|
|
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.details
|
|
The evolution of Principia mathematica: Bertrand Russell's manuscripts and notes for the second edition.Bernard Linsky - 2011 - New York: Cambridge University Press.details
|
|
Representation and productive ambiguity in mathematics and the sciences.Emily Grosholz - 2007 - New York: Oxford University Press.details
|
|
The classical model of science: A millennia-old model of scientific rationality.Willem R. de Jong & Arianna Betti - 2010 - Synthese 174 (2):185-203.details
|
|
Mathematical symbols as epistemic actions.Johan De Smedt & Helen De Cruz - 2013 - Synthese 190 (1):3-19.details
|
|
Replacement of Auxiliary Expressions.Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (3):317-318.details
|
|
Replacement of Auxiliary Expressions.W. C. - 1956 - Philosophical Review 65:38.details
|
|
An introduction to logic and scientific method.Morris Raphael Cohen - 1944 - [Madison, Wis.]: Pub. for the United States Armed Forces Institute by Harcourt, Brace and company. Edited by Ernest Nagel.details
|
|
The Logic of Discovery.R. Carmichael - 1932 - Philosophical Review 41:227.details
|
|
The Logical Foundations of Probability. [REVIEW]Rudolf Carnap - 1950 - Journal of Philosophy 60 (13):362-364.details
|
|
Logical foundations of probability.Rudolf Carnap - 1950 - Chicago]: Chicago University of Chicago Press.details
|
|
Logical Foundations of Probability. [REVIEW]Arthur W. Burks - 1951 - Journal of Philosophy 48 (17):524-535.details
|
|
Introduction to symbolic logic and its applications.Rudolf Carnap - 1958 - New York,: Dover Publications.details
|
|
The complexity of simplicity.Mario Bunge - 1962 - Journal of Philosophy 59 (5):113-135.details
|
|
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Brandom - 1994 - Cambridge, Mass.: Harvard University Press.details
|
|
Computability and Logic.Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.details
|
|
The nature of mathematical knowledge.Philip Kitcher - 1983 - Oxford: Oxford University Press.details
|
|
Mathematics and Science: Last Essays.Henri Poincaré - 1963 - Dover Publications.details
|
|
Mathematics, foundations of.Charles Parsons - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan. pp. 5--188.details
|
|
Grundzüge der theoretischen Logik.David Hilbert & Wilhelm Ackermann - 1928 - Berlin,: J. Springer. Edited by W. Ackermann.details
|
|
The logic of discovery.Robert Daniel Carmichael - 1930 - New York: Arno Press.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.details
|
|
Patterns of discovery.Norwood Russell Hanson - 1958 - Cambridge [Eng.]: University Press.details
|
|
Collected papers.Charles S. Peirce - 1931 - Cambridge,: Belknap Press of Harvard University Press.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.details
|
|
Replacement of auxiliary expressions.W. C. - 1956 - Philosophical Review 65 (1):38-55.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Simplicity.Victor Pambuccian - 1988 - Notre Dame Journal of Formal Logic 29 (3):396-411.details
|
|
The scientific image.C. Van Fraassen Bas - 1980 - New York: Oxford University Press.details
|
|
The Scientific Image by Bas C. van Fraassen. [REVIEW]Michael Friedman - 1982 - Journal of Philosophy 79 (5):274-283.details
|
|
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):116-117.details
|
|
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.details
|
|
The Structure of scientific theories.Frederick Suppe (ed.) - 1974 - Urbana,: University of Illinois Press.details
|
|
The Structure of Scientific Theories.C. A. Hooker - 1975 - Philosophy of Science 42 (1):107-107.details
|
|
The desirability of formalization in science.Patrick Suppes - 1968 - Journal of Philosophy 65 (20):651-664.details
|
|
Introduction to Logic.J. Dopp - 1957 - Journal of Symbolic Logic 22 (4):353-354.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Dedekind’s Analysis of Number: Systems and Axioms.Wilfried Sieg & Dirk Schlimm - 2005 - Synthese 147 (1):121-170.details
|
|
We hold these truths to be self-evident: But what do we mean by that?: We hold these truths to be self-evident.Stewart Shapiro - 2009 - Review of Symbolic Logic 2 (1):175-207.details
|
|
Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics.Stewart Shapiro - 2005 - Philosophia Mathematica 13 (1):61-77.details
|
|
Two Ways of Analogy: Extending the Study of Analogies to Mathematical Domains.Dirk Schlimm - 2008 - Philosophy of Science 75 (2):178-200.details
|
|
On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others.Dirk Schlimm - 2011 - Synthese 183 (1):47-68.details
|
|
Who were the american postulate theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
Who were the American Postulate Theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|