Derivation and Computation

Discover the fascinating world of simple type theory with "Derivation and Computation" by Cambridge University Press. Published in 2000, this hardback edition spans 412 pages and serves as an essential introduction to the intricate relationship between proof and calculation. The book is meticulously divided into 52 sections, each concluding with a comprehensive set of exercises—totaling around 200—to reinforce your understanding and mastery of the concepts presented. Additionally, an appendix offers complete solutions to these exercises, ensuring that readers can confidently navigate through the material. Perfect for students and enthusiasts alike, this book is a valuable resource for anyone looking to deepen their knowledge in mathematical logic and computation.