Skip to main content alibris logo

Logic, Induction and Sets

by

Write The First Customer Review
Logic, Induction and Sets - Forster, Thomas
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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

loading
Logic, Induction and Sets 2003, Cambridge University Press, Cambridge

ISBN-13: 9780521826211

Hardcover

Logic, Induction and Sets 2003, Cambridge University Press, Cambridge

ISBN-13: 9780521533614

Trade paperback