Logic, Induction and Sets
$65.99
USDThis is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background 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 2003Paperback
9780521533614
246 pages
229 × 152 × 13 mm
0.34kg
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.
