Logic, Induction and Sets Contributor(s): Forster, Thomas (Author) |
|
ISBN: 0521826217 ISBN-13: 9780521826211 Publisher: Cambridge University Press OUR PRICE: $174.80 Product Type: Hardcover - Other Formats Published: July 2003 |
Additional Information |
BISAC Categories: - Mathematics | Combinatorics - Mathematics | Set Theory - Mathematics | Logic |
Dewey: 511.322 |
LCCN: 2002041001 |
Series: London Mathematical Society Student Texts |
Physical Information: 0.7" H x 6" W x 9.1" (0.97 lbs) 244 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |