The elements of mathematical logic.
Material type: TextSeries: 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
- BC135 .R55
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
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.