- Foundations of Set Theory.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.details
|
|
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.details
|
|
Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.details
|
|
Varieties of presence.Alva Noë - 2012 - Cambridge, Mass.: Harvard University Press.details
|
|
On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.details
|
|
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.details
|
|
On the role of Ramsey quantifiers in first order arithmetic.James H. Schmerl & Stephen G. Simpson - 1982 - Journal of Symbolic Logic 47 (2):423-435.details
|
|
On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.details
|
|
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.details
|
|
Some Consequences of the Entanglement of Logic and Mathematics.Charles Parsons - 2013 - In Michael Frauchiger (ed.), Reference, Rationality, and Phenomenology: Themes from Føllesdal. De Gruyter. pp. 153-178.details
|
|
Poincaré: Mathematics & logic & intuition.Colin Mclarty - 1997 - Philosophia Mathematica 5 (2):97-115.details
|
|
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.details
|
|
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.details
|
|
Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?G. Kreisel - 1972 - Journal of Symbolic Logic 37 (2):311-334.details
|
|
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.details
|
|
Logic with the quantifier "there exist uncountably many".H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1.details
|
|
Set theory with a Filter quantifier.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (2):263-287.details
|
|
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details
|
|
Constructing strongly equivalent nonisomorphic models for unstable theories.Tapani Hyttinen & Heikki Tuuri - 1991 - Annals of Pure and Applied Logic 52 (3):203-248.details
|
|
Thorn-forking as local forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):21-38.details
|
|
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.details
|
|
Probabilities on finite models.Ronald Fagin - 1976 - Journal of Symbolic Logic 41 (1):50-58.details
|
|
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.details
|
|
Poincaré vs. Russell on the rôle of logic in mathematicst.Michael Detlefsen - 1993 - Philosophia Mathematica 1 (1):24-49.details
|
|
Brouwer's Cambridge Lectures on Intuitionism.R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (1):214-215.details
|
|
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.details
|
|
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.details
|
|
Absolute logics and L∞ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.details
|
|
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details
|
|
On the relationship between plane and solid geometry.Andrew Arana & Paolo Mancosu - 2012 - Review of Symbolic Logic 5 (2):294-353.details
|
|
Second Philosophy: A Naturalistic Method.Penelope Maddy - 2007 - Oxford, England and New York, NY, USA: Oxford University Press.details
|
|
On embedding models of arithmetic into reduced powers.Juliette Kennedy - 2003 - Matematica Contemporanea 24 (1):91--115.details
|
|
Purity of Methods.Michael Detlefsen & Andrew Arana - 2011 - Philosophers' Imprint 11.details
|
|
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.details
|
|
The varieties of rigorous experience.Juliet Floyd - 2013 - In Michael Beaney (ed.), The Oxford Handbook of the History of Analytic Philosophy. Oxford University Press.details
|
|
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.details
|
|