Mathematical logic
Part 1 of the present book gives quite a through, yet elementary, treatment of mathematical logic of first order. Part 2 of the book is intended to supplement Part 1 by providing greater depth of understanding of Part 1 and an introduction to some of the newer ideas and more profound results of logical research in the present century
xiii, 398 pages : illustrations ; 24 cm
9780471490333, 0471490334
523472
Propositional calculus
Predicate calculus
Predicate calculus with equality
Foundations of mathematics
Computability and decidability
Predicate calculus (additional topics)