Logic, Induction and Sets - Thomas Forster
-40% ar kodu BOOKS
Piegāde 15-21 darba dienu laikā
30 dienu atgriešanas politika
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 ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Autors | Thomas Forster |
|---|---|
| Izdevējs | Cambridge University Press |
| Izlaides gads | 2014 |
| Vāka tips | Mīkstais vāks |
| EAN | 9780521533614 |