Logic, Induction and Sets
Logic, Induction and Sets
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching.
$184.00
(X) USDPhilosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.
- Inductively defined sets play a central role
- Great care is taken to motivate the axioms of set theory
- Philosophical concerns emphasised
Reviews & endorsements
"This is a remarkable book, presenting an introduction to mathematical logic and axiomatic set theory from a unified standpoint. ...highly recommended..." MathSciNet
Product details
July 2003Hardback
9780521826211
244 pages
238 × 158 × 20 mm
0.449kg
125 exercises
Available
Table of Contents
- 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.
