- Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Logic, Logic, and Logic.George S. Boolos & Richard C. Jeffrey - 1998 - Cambridge, MA, USA: Harvard University Press. Edited by Richard C. Jeffrey.details
|
|
Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.details
|
|
Hume’s principle, beginnings.Albert Visser - 2011 - Review of Symbolic Logic 4 (1):114-129.details
|
|
Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):103-131.details
|
|
Logic and Structure.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
On a Generalized Logic Calculus.Gaisi Takeuti - 1957 - Journal of Symbolic Logic 22 (4):351-352.details
|
|
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic.W. W. Tait - 1968 - Journal of Symbolic Logic 33 (2):289-290.details
|
|
Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.details
|
|
Über Deduktive Theorien mit Mehreren Sorten von Grunddingen.Arnold Schmidt - 1939 - Journal of Symbolic Logic 4 (2):98-98.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.details
|
|
Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.details
|
|
Reverse Mathematics and Π 1 2 Comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (3):526-533.details
|
|
Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.details
|
|
Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.details
|
|
What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.details
|
|
Naturalized platonism versus platonized naturalism.Bernard Linsky & Edward N. Zalta - 1995 - Journal of Philosophy 92 (10):525-555.details
|
|
Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.details
|
|
Banishing the rule of substitution for functional variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.details
|
|
Banishing the Rule of Substitution for Functional Variables.Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):179-180.details
|
|
1 — Consistency and faithful interpretations.S. Feferman, G. Kreisel & S. Orey - 1962 - Archive for Mathematical Logic 6 (1-2):52-63.details
|
|
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.details
|
|
The reason's proper study: essays towards a neo-Fregean philosophy of mathematics.Crispin Wright & Bob Hale - 2001 - Oxford: Clarendon Press. Edited by Crispin Wright.details
|
|
On quantifying into predicate position: Steps towards a new (tralist) perspective.Crispin Wright - 2007 - In Mary Leng, Alexander Paseau & Michael Potter (eds.), Mathematical Knowledge. Oxford University Press. pp. 150--74.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
The Reason's Proper Study: Essays toward a Neo-Fregean Philosophy of Mathematics.Bob Hale & Crispin Wright - 2001 - Bulletin of Symbolic Logic 12 (2):291-294.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
Second-order logic : ontological and epistemological problems.Marcus Rossberg - 2006 - Dissertation, St Andrewsdetails
|
|
John P. Burgess, Fixing Frege. [REVIEW]Pierre Swiggers - 2006 - Tijdschrift Voor Filosofie 68 (3):665-665.details
|
|
Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.details
|
|
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.details
|
|
First-order logic, second-order logic, and completeness.Marcus Rossberg - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler & Heinrich Wansing (eds.), First-Order Logic Revisited. Logos. pp. 303-321.details
|
|
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.details
|
|