Bemærk: Kan leveres før jul.
Forventes på lager: 18-05-2000
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.
| Forlag | Cambridge University Press |
| Forfatter | H. (University of Manchester) Simmons |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 18-05-2000 |
| Første udgivelsesår | 2000 |
| Serie | Cambridge Tracts in Theoretical Computer Science |
| Illustrationer | Worked examples or Exercises; 23 Tables, unspecified |
| Originalsprog | United Kingdom |
| Sideantal | 412 |
| Indbinding | Hardback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 412 pages, Worked examples or Exercises; 23 Tables, unspecified |
| Mål | 161 x 236 x 25 |
| ISBN-13 / EAN-13 | 9780521771733 |