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.
Ik heb een vraag over het boek: ‘Derivation and Computation - Simmons, H. (University of Manchester)’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
