The elements of mathematical logic.

By: Material type: TextTextSeries: The Dover series in mathematics and physicsPublication details: New York] Dover Publications, 1950.Edition: [1st edDescription: iv, 214 p. 20 cmSubject(s): DDC classification:
  • 164
LOC classification:
  • BC135 .R55
Contents:
The logic of classes: Informal introduction. Fundamental theorems ; Boolean algebra as a deductive science ; The structure and representation of Boolean algebras -- The logic of propositions: Fundamentals ; Alternative formulations ; Deductive systems ; Many valued logics, modal logics, intuitionism -- The logic of propositional functions: Informal introduction ; The functional logic of the first order ; Some very expressive languages ; Combinatory logics ; The development of mathematics within an object language ; The paradoxes ; The axiom of choice -- The general syntax of language: Basic concepts. Simple languages ; Production, canonical languages, extension, and definition ; Normal languages. Theorems of Post and Gödel -- Appendix 1: Canonical forms of L₁, L'₂, and L[subscript z] -- Appendix 2: Algebraic approach to language. Church's theorem.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books (30-Day Checkout) Books (30-Day Checkout) Nash Library General Stacks BC135.R55 1 Available 33710001260590

"Bibliographical and other remarks": p. 194-208.

WAR, NEWBERY,

The logic of classes: Informal introduction. Fundamental theorems ; Boolean algebra as a deductive science ; The structure and representation of Boolean algebras -- The logic of propositions: Fundamentals ; Alternative formulations ; Deductive systems ; Many valued logics, modal logics, intuitionism -- The logic of propositional functions: Informal introduction ; The functional logic of the first order ; Some very expressive languages ; Combinatory logics ; The development of mathematics within an object language ; The paradoxes ; The axiom of choice -- The general syntax of language: Basic concepts. Simple languages ; Production, canonical languages, extension, and definition ; Normal languages. Theorems of Post and Gödel -- Appendix 1: Canonical forms of L₁, L'₂, and L[subscript z] -- Appendix 2: Algebraic approach to language. Church's theorem.