Logic, Induction and Sets
Thomas Forster
(Author)
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.
Product Details
Price
$72.59
Publisher
Cambridge University Press
Publish Date
July 21, 2003
Pages
246
Dimensions
6.08 X 8.96 X 0.54 inches | 0.74 pounds
Language
English
Type
Paperback
EAN/UPC
9780521533614
Earn by promoting books
Earn money by sharing your favorite books through our Affiliate program.
Become an affiliateReviews
"This is a remarkable book, presenting an introduction to mathematical logic and axiomatic set theory from a unified standpoint. ...highly recommended..." MathSciNet