Logic, Induction and Sets: (London Mathematical Society Student Texts)
By
Thomas Forster (Author)
Paperback
Available / dispatched within 1 - 2 weeks
Quantity
Description
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. Worked examples or Exercises
About the Author
fm.author_biographical_note1
More Details
- Contributor: Thomas Forster
- Imprint: Cambridge University Press
- ISBN13: 9780521533614
- Number of Pages: 246
- Packaged Dimensions: 152x229x13mm
- Packaged Weight: 340
- Format: Paperback
- Publisher: Cambridge University Press
- Release Date: 2003-07-21
- Series: London Mathematical Society Student Texts
- Binding: Paperback / softback
- Biography: fm.author_biographical_note1
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.