Aczel, PeterNon-Well-Founded SetsStanfordCenter for the Study of Language and Information 1988
Alchourrón, Carlos E“On the Philosophical Adequacy of Set Theories.”Theoria 1986 567
Baldwin, J. T.Lachlan, A. H.“On Strongly Minimal Sets.”Journal of Symbolic Logic 36 1971 71
Barwise, JonAdmissible Sets and Structures: An Approach to Definability TheoryBerlinSpringer 1975
Barwise, JonEtchemendy, JohnThe Liar: An Essay on Truth and CircularityNew YorkOxford University Press 1987
Bell, J. L.Machover, M.A Course in Mathematical LogicAmsterdamNorth-Holland 1977
Bell, J. L.Slomson, A. B.Models and Ultraproducts: An IntroductionAmsterdamNorth-Holland 1969
Benacerraf, PaulPhilosophy of Mathematics: Selected ReadingsBenacerraf, PaulPutnam, HilaryCambridgeCambridge University Press 1983
Benacerraf, Paul“What Numbers Could Not Be.”Philosophy of Mathematics272
Beth, Evert W.The Foundations of Mathematics: A Study in the Philosophy of ScienceNew YorkHarper Torchbooks 1964
Birkhoff, George DavidBeatley, RalphBasic GeometryNew YorkChelsea 1959
Boolos, GeorgeLogic, Logic, and LogicJeffrey, RichardCambridge, Mass.Harvard University Press 1998
Boolos, George
Boolos, GeorgeThe Unprovability of Consistency: An Essay in Modal LogicCambridgeCambridge University Press 1979
Brady, GeraldineFrom Peirce to Skolem: A Neglected Chapter in the History of LogicAmsterdam and New YorkNorth-Holland/Elsevier 2000
Burge, TylerTruth, Thought, Reason: Essays on FregeOxfordClarendon Press 2005
Burge, Tyler“Frege on Sense and Linguistic Meaning.”Truth, Thought, Reason242
Burge, Tyler
Burge, Tyler“Semantical Paradox.”Recent Essays83
Cantor, GeorgContributions to the Founding of the Theory of Transfinite NumbersJourdain, Philip E. B.New YorkDover 1952
Cantor, GeorgGesammelte Abhandlungen mathematischen und philosophischen InhaltsZermelo, ErnstHildesheimGeorg Olms 1962
Carnap, RudolfThe Philosophy of Rudolf CarnapSchilpp, Paul ArthurLa Salle, Ill.Open Court 1963
Carnap, RudolfDer logische Aufbau der WeltBerlin-SchlachtenseeWeltkreis-verlag 1928 George, Rolf A.
Chang, C. C.Jerome Keisler, H.Model TheoryAmsterdamNorth-Holland 1973
Chellas, Brian F.Modal Logic: An IntroductionCambridgeCambridge University Press 1980
Chong, C.-T.Techniques of Admissible Recursion TheoryBerlinSpringer 1984
Church, Alonzo108
Church, Alonzo89
Church, AlonzoIntroduction to Mathematical LogicPrincetonPrinceton University Press 1956
Cohen, Paul J.Set Theory and the Continuum HypothesisNew YorkW. A. Benjamin 1966
Davis, MartinComputability and UnsolvabilityNew YorkMcGraw-Hill 1958
Davis, MartinThe Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable FunctionsHewlett, N.Y.Raven Press 1965
Dedekind, RichardEssays on the Theory of NumbersNew YorkDover 1963
Dehornoy, Patrick“Recent Progress on the Continuum Hypothesis (after Woodin).”www.math.unicaen.fr/~dehornoy/Surveys/DgtUS.pdf
De Morgan, AugustusOn the Syllogism, and Other Logical WritingsHeath, PeterLondonRoutledge & Kegan Paul 1966
Dipert, Randall R.“The Life and Logical Contributions of O. H. Mitchell, Peirce’s Gifted Student.”Transactions of the Charles S. Peirce Society 30 1994 515
Duhem, PierreThe Aim and Structure of Physical TheoryWiener, Philip P.PrincetonPrinceton University Press 1954
Ehrenfeucht, AndrzejMostowski, Andrzej“Models of Axiomatic Theories Admitting Automorphisms.”Fundamenta Mathematica 43 1956 50
Feferman, Solomon“Degrees of Unsolvability Associated with Classes of Formalized Theories.”Journal of Symbolic Logic 22 1957 161
Feferman, SolomonNew YorkOxford University Press 1998
Ferreirós, JoséLabyrinth of Thought: A History of Set Theory and Its Role in Modern MathematicsBaselBirkhäuser 2007
Field, Hartry“Tarski’s Theory of Truth.”Journal of Philosophy 64 1972 347
Forster, T. E.Set Theory with a Universal Set: Exploring an Untyped UniverseOxfordClarendon Press 1995
Frege, GottlobThe Foundations of Arithmetic: A Logico-mathematical Enquiry into the Concept of NumberAustin, J. L.OxfordBasil Blackwell 1959
Frege, Gottlob
Frege, GottlobPhilosophical and Mathematical CorrespondenceGabriel, GottfriedKaal, HansOxfordBasil Blackwell 1980
Frege, GottlobTranslations from the Philosophical Writings of Gottlob FregeGeach, PeterBlack, MaxOxfordBasil Blackwell 1960
Friedberg, RichardAn Adventurer’s Guide to Number TheoryNew YorkDover 1994
Friedberg, Richard“Three Theorems on Recursive Enumeration: I. Decomposition; II. Maximal Set; III. Enumeration without Duplication.”Journal of Symbolic Logic 23 1958 309
Friedberg, Richard“Two Recursively Enumerable Sets of Incomparable Degrees of Unsolvability (Solution of Post’s Problem 1944).”Proceedings of the National Academy of Sciences 43 1957 236
Geach, PeterMental Acts: Their Content and Their ObjectsLondonRoutledge & Kegan Paul 1957
Gödel, KurtCollected WorksFeferman, SolomonNew York and OxfordOxford University Press and Clarendon Press 1986
Gödel, Kurt“An Interpretation of the Intuitionist Propositional Calculus.”Collected Works 1 301
Gödel, KurtThe Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set TheoryPrincetonPrinceton University Press 1940
Gödel, Kurt“The Consistency of the Generalized Continuum Hypothesis” 1939 Collected Works 2 27
Gödel, Kurt“Consistency Proof for the Generalized Continuum Hypothesis” 1939 Collected Works 2 28
Gödel, Kurt“On the Completeness of the Calculus of Logic” 1929 Collected Works 1 61
Gödel, Kurt 1931 Bauer-Mengelberg, Stefan596
Gödel, Kurt84
Gödel, Kurt“Russell’s Mathematical Logic” 1944 Collected Works 2 119
Gödel, Kurt“What Is Cantor’s Continuum Problem?” 1947 Collected Works 2 176
Goldblatt, RobertLectures on the Hyperreals: An Introduction to Nonstandard AnalysisNew YorkSpringer 1998
Graham, Ronald L.Rothschild, Bruce L.Spenser, Joel H.Ramsey TheoryNew YorkWiley 1980
Grice, H. P.“The Causal Theory of Perception.”Proceedings of the Aristotelian Society, Supplementary Volume 35 1961 121
Gupta, Anil“Remarks on Definitions and the Concept of Truth.”Proceedings of the Aristotelian Society 89 1988 227
Hájek, PetrPudlák, PavelMetamathematics of First-Order ArithmeticBerlinSpringer 1993
Harman, Gilbert“Inference to the Best Explanation.”Philosophical Review 74 1965 88
Harman, Gilbert“Logical Form.”Foundations of Language 9 1972 38
Hart, W. D.
Hart, W. D.“Benacerraf’s Dilemma.”Crítica 23 1991 87
Hart, W. D.The Engines of the SoulCambridgeCambridge University Press 1988
Hart, W. D.“For Anil Gupta.”Proceedings of the Aristotelian Society 90 1989 161
Hart, W. D.“Interpolación y relevancia.”Análisis filosófico 13 1993 55
Hart, W. D.“Invincible Ignorance.”New Essays on the Knowability Paradox320
Hart, W. D.Future Pasts: The Analytic Tradition in Twentieth-Century PhilosophyFloyd, JulietShieh, SanfordOxfordOxford University Press 2001
Hart, W. D.“On Non-Well-Founded Sets.”Crítica 24 1992 3
Hart, W. D.The Philosophy of MathematicsOxfordOxford University Press 1996
Hart, W. D.“Russell and Ramsey.”Pacific Philosophical Quarterly 64 1984 193
Hart, W. D.“The Syntax of the World.”Crítica 28 1996 13
Hart, W. D.“The Whole Sense of the Tractatus.”Journal of Philosophy 68 1971 273
Henkin, Leon“The Completeness of the First-Order Functional Calculus.”Journal of Symbolic Logic 14 1949 159
Herzberger, Hans G.“New Paradoxes for Old.”Proceedings of the Aristotelian Society 81 1980 109
Hewitt, Edwin“The Rôle of Compactness in Classical Analysis.”American Mathematical Monthly 67 1960 499
Hilbert, DavidThe Foundations of GeometryTownsend, E. J.ChicagoOpen Court 1902
Hilbert, DavidAckermann, WilhelmGrundzüge der theoretischen LogikBerlinSpringer 1928
Hinman, Peter G.Fundamentals of Mathematical LogicWellesley, Mass.A. K. Peters 2005
Hodges, WilfridA Shorter Model TheoryCambridgeCambridge University Press 1997
Hodges, WilfridLogicHarmondsworthPenguin 1977
Holmes, M. RandallElementary Set Theory with a Universal SetLouvain-la-Neuve, BelgiumAcademia
Hume, DavidA Treatise of Human NatureSelby-Bigge, L. A.Nidditch, P. H.OxfordClarendon Press 1978
Hume, DavidDialogues Concerning Natural ReligionAiken, Henry D.New YorkHafner 1948
Isaacson, Daniel“Arithmetical Truth and Hidden Higher-Order Concepts.”Philosophy of Mathematics203
Jech, ThomasSet TheoryBerlinSpringer 2003
Jeffrey, Richard C.The Logic of DecisionChicagoUniversity of Chicago Press 1983
Jonsson, Bjarni“Homogeneous Universal Relational Systems.”Mathematica Scandinavica 8 1960 178
Jonsson, Bjarni“Universal Relational Systems.”Mathematica Scandinavica 4 1956 193
Kanamori, Akihiro“Cohen and Set Theory.”Bulletin of Symbolic Logic 14 2008 351
Kant, ImmanuelCritique of Pure ReasonSmith, Norman KempLondonMacmillan 1963
Kant, ImmanuelProlegomenon to Any Future Metaphysics That Will Be Able to Come Forward as ScienceEllington, James W.IndianapolisHackett 1977
Kleene, Stephen ColeIntroduction to MetamathematicsPrincetonD. Van Nostrand 1952
Kleene, Stephen Cole
Kneale, WilliamKneale, MarthaThe Development of LogicOxfordClarendon Press 1962
Kreisel, GeorgSacks, Gerald E.“Metarecursive Sets.”Journal of Symbolic Logic 30 1965 318
Kripke, Saul A.Naming and NecessityCambridge, Mass.Harvard University Press 1980
Kripke, Saul A.53
Kučera, A.Twelfth Symposium Held in Bratislava, Czechoslovakia, August 25–29, 1968Gruska, J.HeidelbergSpringer 1986
Lawvere, F. WilliamProceedings of the Conference on Categorical Algebra, La JollaEilenberg, S.New YorkSpringer 1966
Lipton, PeterInference to the Best ExplanationLondonRoutledge 1991
Łoś, Jerzy“On the Categoricity in Power of Elementary Deductive Systems and Some Related Problems.”Colloquium Mathematicum 3 1954 58
Löwenheim, Leopold 1915 Stefan, Bauer-Mengelberg
Lyndon, Roger C.Notes on LogicPrincetonVan Nostrand 1966
Marker, DavidModel Theory: An IntroductionNew YorkSpringer 2002
Martin, D. A.“Completeness, the Recursion Theorem, and Effectively Simple Sets.”Proceedings of the American Mathematical Society 17 1966 838
Martin, D. A.Set Theory and Its LogicQuine, W. V.Journal of Philosophy 67 1970 111
Martin, Robert L.Recent Essays on Truth and the Liar ParadoxOxfordClarendon Press 1984
Mates, BensonElementary LogicNew YorkOxford University Press 1972
Mendelson, ElliottIntroduction to Mathematical LogicNew YorkChapman & Hall 1997
Monk, J. DonaldIntroduction to Set TheoryNew YorkMcGraw-Hill 1969
Montague, RichardVaught, R. K.“Natural Models of Set Theory.”Fundamenta Mathematica 47 1959 219
Moore, Gregory H.History and Philosophy of Modern MathematicsAspray, WilliamKitcher, Philip95MinneapolisUniversity of Minnesota Press 1988
Moretti, AlbertoHurtado, GuillermoLa Paradoja de OrayenBuenos AiresEudeba 2003
Morley, Michael“Categoricity in Power.”Transactions of the American Mathematical Society 114 1965 514
Morley, MichaelVaught, Robert“Homogeneous Universal Models.”Mathematica Scandinavica 11 1962 37
Muchnik, A. A.“On the Unsolvability of the Problem of Reducibility in the Theory of Algorithms.”Doklady Akademii Nauk SSSR 108 1956 194
Myhill, John“The Lattice of Recursively Enumerable Sets.”Journal of Symbolic Logic 21 1956 215
Myhill, JohnBertrand Russell’s PhilosophyNakhnikian, GeorgeNew YorkBarnes & Noble 1974
Orayen, Raúl35
Pap, Arthur“Are All Necessary Propositions Analytic?”Philosophy Review 50 1949 299
Pap, ArthurElements of Analytic PhilosophyNew YorkMacmillan 1949
Pap, Arthur“Logical Nonsense.”Philosophy and Phenomenological Research 9 1948 262
Pap, Arthur“Once More: Colors and the Synthetic A Priori.”Philosophical Review 66 1957 94
Parsons, Charles9
Peckhaus, VolkerOne Hundred Years of Russell’s Paradox: Mathematics, Logic, PhilosophyLink, GodehardBerlinWalter de Gruyter 2004
Poizat, BrunoA Course in Model Theory: An Introduction to Contemporary Mathematical LogicKlein, MosesNew YorkSpringer 2000
Post, Emil304
Priest, GrahamIn Contradiction: A Study of the TransconsistentOxfordClarendon Press 2006
Putnam, HilaryPhilosophy of LogicNew YorkHarper & Row 1971
Putnam, Hilary“Red and Green All Over Again: A Rejoinder to Arthur Pap.”Philosophical Review 66 1957 100
Putnam, Hilary“Reds, Greens, and Logical Analysis.”Philosophical Review 65 1956 206
Quine, W. V.Theories and ThingsCambridge, Mass.Belknap Press of Harvard University Press 1981
Quine, W. V.From a Logical Point of ViewCambridge, Mass.Harvard University Press 1961
Quine, W. V.“The Inception of ‘New Foundations.’ ”Cambridge, Mass.Harvard University Press 1995
Quine, W. V.102
Quine, W. V.Mathematical LogicNew YorkHarper Torchbooks 1962
Quine, W. V.Methods of LogicNew YorkHenry Holt 1959
Quine, W. V.The Ways of Paradox and Other EssaysCambridge, Mass.Harvard University Press 1976
Quine, W. V.80
Quine, W. V.130
Quine, W. V.1
Quine, W. V.258
Quine, W. V.Philosophy of LogicEnglewood Cliffs, N.J.Prentice-Hall 1970
Quine, W. V.Reply to Donald A. Martin’s review of Set Theory and Its Logic, revised editionJournal of Philosophy 67 1970 247
Quine, W. V.177
Quine, W. V.Set Theory and Its LogicCambridge, Mass.Belknap Press of Harvard University Press 1963
Quine, W. V.20
Quine, W. V.Word and ObjectCambridge, Mass.Technology Press of the Massachusetts Institute of Technology 1960
Ramsey, F. P.The Foundations of Mathematics and Other Logical EssaysBraithwaite, R. B.Paterson, N.J.Littlefield, Adams 1960
Ramsey, F. P.82
Robinson, Abraham“Non-Standard Analysis.”Koninklijke Nederlandse Akademie van Wetenschappen 64 1961 432
Rogers, HartleyTheory of Recursive Functions and Effective ComputabilityNew YorkMcGraw-Hill 1967
Rosser, J. BarkleyLogic for MathematiciansNew YorkMcGraw-Hill 1953
Rosser, J. BarkleyGroningen and AmsterdamErven P. Noordhoff N.V. and North-Holland 1956
Rosser, J. BarkleyWang, Hao“Non-standard Models for Formal Logic.”Journal of Symbolic Logic 15 1950 113
Russell, BertrandIntroduction to Mathematical PhilosophyLondonGeorge Allen & Unwin 1919
Russell, BertrandLondonGeorge Allen & Unwin 1956
Russell, BertrandLackey, DouglasNew YorkGeorge Braziller 1973
Russell, BertrandOur Knowledge of the External WorldLondonGeorge Allen & Unwin 1914
Russell, BertrandThe Philosophy of LeibnizLondonRoutledge 1992
Russell, Bertrand
Russell, BertrandThe Principles of MathematicsLondonGeorge Allen & Unwin 1937
Ryll-Nardzewski, C.“The Role of the Axiom of Induction in Elementary Arithmetic.”Fundamental Mathematics 39 1952 239
Salerno, JosephNew Essays on the Knowability ParadoxOxfordOxford University Press 2008
Scott, Dana S.Axiomatic Set Theory: Proceedings of Symposia in Pure MathematicsScott, Dana S.ProvidenceAmerican Mathematical Society 1974
Shelah, SaharonClassification Theory and the Number of Non-isomorphic ModelsAmsterdamNorth-Holland 1978
Shepherdson, J. C.“Inner Models for Set Theory.”Journal of Symbolic Logic 16 1951 161
Shoenfield, Joseph R.“A Relative Consistency Proof.”Journal of Symbolic Logic 18 1954 21
Shoenfield, Joseph R.Degrees of UnsolvabilityAmsterdamNorth-Holland 1971
Shoenfield, Joseph R.Gandy, R. O.Yates, C. E. M.AmsterdamNorth-Holland 1971
Shoenfield, Joseph R.Mathematical LogicReading, Mass.Addison-Wesley 1967
Simmons, George F.Introduction to Topology and Modern AnalysisNew YorkMcGraw-Hill 1963
Skolem, Thoralf 1920 Bauer-Mengelberg, StefanHeijenoort, In van
Skolem, Thoralf290
Soare, Robert I.Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated SetsBerlinSpringer 1987
Stevenson, Charles L.Logic and Art: Essays in Honor of Nelson GoodmanRudner, RichardScheffler, IsraelNew YorkBobbs-Merrill 1972
Suppes, PatrickAxiomatic Set TheoryPrincetonVan Nostrand 1960
Tarski, AlfredLogic, Semantics, Metamathematics: Papers from 1923 to 1938Woodger, J. H.OxfordClarendon Press 1956
Tarski, Alfred152
Tarski, AlfredSemantics and the Philosophy of Language: A Collection of ReadingsLinsky, LeonardUrbanaUniversity of Illinois Press 1952
Tarski, AlfredUndecidable TheoriesAmsterdamNorth-Holland 1953
Turing, Alan M.116
Ullian, JosephThe Philosophy of W. V. QuineHahn, Lewis EdwinSchilpp, Paul ArthurLa Salle, Ill.Open Court 1986
van Heijenoort, JeanFrom Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931Cambridge, Mass.Harvard University Press 1967
Vaught, Robert L.A Löwenheim–Skolem Theorem for Cardinals Far ApartAmsterdamNorth-Holland 1977
Veblen, Oswald“A System of Axioms for Geometry.”Transactions of the American Mathematical Society 5 1904 343
von Neumann, John“Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre.”Journal für reine und angewandte Mathematik 160 1929 373
von Neumann, JohnMorgenstern, OskarTheory of Games and Economic BehaviorPrincetonPrinceton University Press 1947
Wang, Hao“A Formal System of Logic.”Journal of Symbolic Logic 15 1950 25
Whitehead, Alfred NorthRussell, BertrandPrincipia MathematicaCambridgeCambridge University Press 1925
Wittgenstein, LudwigTractatus Logico-PhilosophicusPears, D. F.McGuinness, B. F.LondonRoutledge & Kegan Paul 1961
Yandell, Benjamin H.The Honors Class: Hilbert’s Problems and Their SolversNatick, Mass.A. K. Peters 2002
Yates, C. E. M.“Three Theorems on the Degree of Recursively Enumerable Sets.”Duke Mathematical Journal 32 1965 461
Zermelo, Ernst 1908 Bauer-Mengelberg, Stefan
