Research Catalog
Introduction to mathematical logic
- Title
- Introduction to mathematical logic / Elliott Mendelson.
- Author
- Mendelson, Elliott
- Publication
- New York : Van Nostrand, [1979]
- ©1979
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | QA9 .M4 1979 | Off-site |
Details
- Description
- viii, 328 pages; 24 cm
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 269-287.
- Contents
- The propositional calculus -- Quantification theory -- Formal number theory -- Axiomatic set theory -- Effective computability.
- ISBN
- 0442253079
- 9780442253073
- 0442301855
- 9780442301859
- LCCN
- 78065959
- 3504710
- 3504710 3418091
- OCLC
- ocm04922554
- 4922554
- SCSB-14093
- Owning Institutions
- Princeton University Library