Click on a thumbnail to go to Google Books.
Logic, Induction and Sets
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English (1)
Amazon.com Product Description (ISBN 0521533619, Paperback)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.
(retrieved from Amazon Thu, 12 Mar 2015 18:21:20 -0400)
No library descriptions found.
Is this you?
Become a LibraryThing Author.