• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logic, Induction and Sets

Logic, Induction and Sets

Paperback

Series: London Mathematical Society Student Texts, Book 56

Medical ReferenceGeneral Mathematics

ISBN10: 0521533619
ISBN13: 9780521533614
Publisher: Cambridge
Published: Jul 21 2003
Pages: 246
Weight: 0.74
Height: 0.54 Width: 6.08 Depth: 8.96
Language: English
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.

1 different editions

Also available

Also in

General Mathematics