Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Logic, Induction and Sets

Logic, Induction and Sets

Logic, Induction and Sets

Author:
Thomas Forster, University of Cambridge
Published:
July 2003
Availability:
Available
Format:
Paperback
ISBN:
9780521533614
$70.00
(X) USD
Paperback
$184.00 (X) USD
Hardback

    Philosophical 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

    See more reviews

    Product details

    July 2003
    Paperback
    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.
    Resources for
    Type
    Author's web page
      Author
    • Thomas Forster , University of Cambridge