- We will send in 10–14 business days.
/images/books/3641585/9780521533614.jpg)
- Author: Thomas Förster
- Publisher: Cambridge University Press
- ISBN-10: 0521533619
- ISBN-13: 9780521533614
- Format: 15.4 x 22.8 x 1.4 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 22d.05:39:12
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Thomas Förster
- Publisher: Cambridge University Press
- ISBN-10: 0521533619
- ISBN-13: 9780521533614
- Format: 15.4 x 22.8 x 1.4 cm, minkšti viršeliai
- Language: English 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.
Reviews