Logic, Induction and Sets

• 1. Definitions and notations; 2. Recursive datatypes; 3. Partially ordered sets; 4. Propositional calculus; 5. Predicate calculus; 6. Computable functions; 7. Ordinals; 8. Set theory; 9. Answers to selected questions.

'This is a remarkable book, presenting an introduction to mathematical logic and axiomatic set theory from a unified standpoint … also eminently suitable for self-study by mature mathematicians who wish to acquire a well-balanced and deeper knowledge of a field that is not part of their specialty … The author's presentation is a model of clarity, and much of the liveliness of a lecture has been preserved in the write-up. The various asides, cross-references, and care in motivating definitions and concepts all contribute to the value of the book as an instructional source … a treasure in its genre, to be highly recommended by the reviewer.' MathSciNet