Derivation and Computation
H. (University of Manchester) Simmons
Cambridge University Press, 2000
213,25 €On orderDelivery: 2-3 weeks
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-13
- 9780521771733
- ISBN-10
- 0521771730
- Publisher
- Cambridge University Press
- Year
- 2000
- Publication date
- 2000-05-18
- Pages
- 412
- Dimensions
- 161x236x25
- Weight
- 668