Description - Logic, Induction and Sets by Thomas Forster
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.
Buy Logic, Induction and Sets by Thomas Forster from Australia's Online Independent Bookstore, Boomerang Books.
(228mm x 152mm x 13mm)
Cambridge University Press
Publisher: Cambridge University Press
Country of Publication:
Other Editions - Logic, Induction and Sets by Thomas Forster
Book Reviews - Logic, Induction and Sets by Thomas Forster
Author Biography - Thomas Forster