H. Simmons (University of Manchester)

Gebundenes Buch

Derivation and Computation

Beschreibung

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.

Produktdetails

• Cambridge Tracts in Theoretical Computer Science
• Verlag: Cambridge University Press
• Seitenzahl: 412
• Erscheinungstermin: 4. Januar 2016
• Englisch
• Abmessung: 235mm x 157mm x 29mm
• Gewicht: 668g
• ISBN-13: 9780521771733
• ISBN-10: 0521771730
• Artikelnr.: 22264241