Logic, Induction and Sets / Edition 1

by Thomas Forster

Overview

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.

Product Details

ISBN-13:	9780521533614
Publisher:	Cambridge University Press
Publication date:	07/21/2003
Series:	London Mathematical Society Student Texts , #56
Edition description:	New Edition
Pages:	246
Product dimensions:	5.98(w) x 9.02(h) x 0.51(d)

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.

Editorial Reviews

"This is a remarkable book, presenting an introduction to mathematical logic and axiomatic set theory from a unified standpoint. ...highly recommended..." MathSciNet

From the Publisher