Derivation and Computation
€213.90
Available for sending in 4/5 days
Product Information
| ISBN | 9780521771733 |
|---|---|
| Publisher | Cambridge University Press |
| Price (excl. tax) | €201.79 |
| Tax | €12.11 |
| Price (incl. tax) | €213.90 |
| Availability | 1 unit in external warehouse |
Product Description
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.