Derivation and Computation
€ 224,90
Envio em 4/5 dias
Informação do Produto
| ISBN | 9780521771733 |
|---|---|
| Editora | Cambridge University Press |
| Preço (iva excl.) | € 212,17 |
| Imposto | € 12,73 |
| Preço (iva inc.) | € 224,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
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.