cover image

The elements of mathematical logic.


[1st ed.. New York] Dover Publications, 1950.
ISBN 0486602273, 9780486602271

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
BC 135 .R55 Available Request
WRLC Shared Collections Facility
BC 135 .R55 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .R55 Off-site
Request
Catholic
WRLC Shared Collections Facility
BC135.R81 E3 Off-site
Request
WRLC Shared Collections Facility
BC135.R81 E3 Off-site
Request
UDC
WRLC Shared Collections Facility
BC135 .R55 Off-site
Request
Van Ness stacks
BC135 .R55 Available Request
George Mason
Fenwick stacks
BC135 .R55 Available Request
Georgetown
Off-Campus Shelving
BC135 .R55 Available Request
Howard
Founders Library stacks
BC135 .R55 Available Request
Subjects Analyse mathématique.
Einführung.
Logic, Symbolic and mathematical.
Logica Matematica (Textos Introdutorios)
Logica Matematica.
Logica.
Logique.
Mathematische Logik.
Mathématiques.
Series Dover series in mathematics and physics.
Description iv, 214 pages 20 cm.
Copyright Date 1950.
Notes "Bibliographical and other remarks": pages 194-208.
Contents 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.
Network Numbers (OCoLC)377141
(OCoLC)ocm00377141
WorldCat Search OCLC WorldCat
WorldCat Identities Rosenbloom, Paul C.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks