Introduction to Mathematical Logic /
Elliott Mendelson.
- 3rd ed.
- Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1987.
- ix, 341 p. ; 24 cm.
- The Wadsworth & Brooks/Cole mathematics series .
Introduction (Page-1), The Propositional Calculus (Page-10), Quantification Theory (Page-41), Formal Number Theory (Page-116), Axiomatic Set Theory (Page-169), Effective Computability (Page-231).