Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004614945/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b6530322.
- catalog created "1950.".
- catalog date "1950".
- catalog date "1950.".
- catalog dateCopyrighted "1950.".
- catalog description ""Bibliographical and other remarks": p. 194-208.".
- catalog description "The logic of classes: Infomal introduction. Fundamental theorems ; Boolean algebra as a deductive science ; The structure and representation of Boolean algebras -- The logic of propositions: Fundamentals ; Altenative formulations ; Deductive systems ; Many valued logics, modal logics, intuitionism -- The logic of propositional functions: Informal introduction ; The funtional 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 ; Productioin, 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.".
- catalog extent "iv, 214 p.".
- catalog hasFormat "Elements of mathematical logic.".
- catalog isFormatOf "Elements of mathematical logic.".
- catalog isPartOf "The Dover series in mathematics and physics".
- catalog issued "1950".
- catalog issued "1950.".
- catalog language "eng".
- catalog publisher "New York] Dover Publications,".
- catalog relation "Elements of mathematical logic.".
- catalog subject "164".
- catalog subject "BC135 .R55".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog tableOfContents "The logic of classes: Infomal introduction. Fundamental theorems ; Boolean algebra as a deductive science ; The structure and representation of Boolean algebras -- The logic of propositions: Fundamentals ; Altenative formulations ; Deductive systems ; Many valued logics, modal logics, intuitionism -- The logic of propositional functions: Informal introduction ; The funtional 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 ; Productioin, 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.".
- catalog title "The elements of mathematical logic.".
- catalog type "text".