10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Logic, Induction and Sets

View All Editions (2)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Logic, Induction and Sets Synopsis

This 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.

About This Edition

ISBN: 9780521826211
Publication date:
Author: Thomas University of Cambridge Forster
Publisher: Cambridge University Press
Format: Hardback
Pagination: 244 pages
Series: London Mathematical Society Student Texts
Genres: Set theory
Mathematical logic
Philosophy of mathematics