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 an introduction to logic and the axiomatization of set theory from a unique standpoint.
fm.author_biographical_note1
'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 '... a real sense of freshness and vitality ... I found this a very readable and stimulating book. Forster writes with an agreeably light touch and a whimsical sense of fun and his use of rectypes as a leitmotiv is both innovative and inspired.' The Mathematical Gazette 'The author's philosophical training leads him to accompany many definitions with lengthy reflexions which add interest and enliven the book.' Mathematika
Ask a Question About this Product More... |