Logic, Induction and Sets (London Mathematical Society Student Texts)

Forster, Thomas

ISBN 10: 0521533619 / ISBN 13: 9780521533614

Published by Cambridge University Press, 2003

The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR006813879

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 the Author: fm.author_biographical_note1

Bibliographic Details

Title: Logic, Induction and Sets (London ...
Publisher: Cambridge University Press
Publication Date: 2003
Binding: Paperback
Condition: Very Good