Main image
Click to view image in fullscreen
![]()
Derivation and Computation
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.
1 210,00 DH
En stock
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.
| ISBN / EAN | 9780521771733 |
|---|---|
| Prix remisé | 1 599,00 DH |
| Auteur | Simmons, H. (University of Manchester) |
| Editeur | Cambridge University Press |