Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007657817/catalog> ?p ?o. }

• catalog contributor b10585662.
• catalog contributor b10585663.
• catalog created "1998.".
• catalog date "1998".
• catalog date "1998.".
• catalog dateCopyrighted "1998.".
• catalog description "I. Studies on Set Theory and the Nature of Logic. Introduction -- The iterative conception of set -- Reply to Charles Parsons' "sets and classes" -- On second-order logic -- To be is to be a value of a variable (or to be some values of some variables) -- Nominalist Platonism -- Iteration again -- Introductory note to Kurt Gödel's "Some basic theorems on the foundations of mathematics and their implications" -- Must we believe in set theory? -- -- II. Frege studies. Introduction -- Gottlob Frege and the foundations of arithmetic -- Reading the Begriffsschrift -- Saving Frege from contradiction -- The consistency of Frege's Foundations of Arithmetic -- The standard of equality of numbers -- Whence the contradiction? -- 1879? -- The advantages of honest toil over theft -- On the proof of Frege's theorem -- Frege's theorem and the peano postulates -- Is Hume's principle analytic? -- Die Grundlagen der Arithmetik, xx82-83 (with Richard Heck) -- Constructing Cantorian counterexamples -- -- III. Various logical studies and lighter papers. Introduction -- Zooming down the slippery slope -- Don't eliminate cut -- The justification of mathematical induction -- A curious inference -- A new proof of the Gödel incompleteness theorem -- On "seeing" the truth of the Gödel sentence -- Quotational ambiguity -- The hardest logical puzzle ever -- Gödel's second incompleteness theorem explained in words of one syllable.".
• catalog description "Includes bibliographical references (p. 425-435) and index.".
• catalog extent "ix, 443 p. ;".
• catalog hasFormat "Logic, logic, and logic.".
• catalog identifier "0674537661".
• catalog isFormatOf "Logic, logic, and logic.".
• catalog issued "1998".
• catalog issued "1998.".
• catalog language "eng".
• catalog publisher "Cambridge, Mass : Harvard University Press,".
• catalog relation "Logic, logic, and logic.".
• catalog subject "160 21".
• catalog subject "BC51 .B58 1998".
• catalog subject "Logic.".
• catalog tableOfContents "I. Studies on Set Theory and the Nature of Logic. Introduction -- The iterative conception of set -- Reply to Charles Parsons' "sets and classes" -- On second-order logic -- To be is to be a value of a variable (or to be some values of some variables) -- Nominalist Platonism -- Iteration again -- Introductory note to Kurt Gödel's "Some basic theorems on the foundations of mathematics and their implications" -- Must we believe in set theory? -- -- II. Frege studies. Introduction -- Gottlob Frege and the foundations of arithmetic -- Reading the Begriffsschrift -- Saving Frege from contradiction -- The consistency of Frege's Foundations of Arithmetic -- The standard of equality of numbers -- Whence the contradiction? -- 1879? -- The advantages of honest toil over theft -- On the proof of Frege's theorem -- Frege's theorem and the peano postulates -- Is Hume's principle analytic? -- Die Grundlagen der Arithmetik, xx82-83 (with Richard Heck) -- Constructing Cantorian counterexamples -- -- III. Various logical studies and lighter papers. Introduction -- Zooming down the slippery slope -- Don't eliminate cut -- The justification of mathematical induction -- A curious inference -- A new proof of the Gödel incompleteness theorem -- On "seeing" the truth of the Gödel sentence -- Quotational ambiguity -- The hardest logical puzzle ever -- Gödel's second incompleteness theorem explained in words of one syllable.".
• catalog title "Logic, logic, and logic / George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.".
• catalog type "text".