Front cover image for Introduction to mathematical logic

Introduction to mathematical logic

This classic in the field is a compact introduction to some of the basic topics of mathematical logic. This edition contains many new examples and the notation has been updated throughout.
Print Book, English, ©1987
Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., ©1987
ix, 341 pages ; 24 cm.
9780534066246, 0534066240
13580200
The propositional calculus
Quantification theory
Formal number theory
Axiomatic set theory
Effective computability