Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
\nThe 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.\n
číst celé
\n
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.
\n schovat popis- Nakladatel: Cambridge University Press
- Kód:
- Rok vydání: 2000
- Jazyk: Angličtina
- Vazba: Firma
- Počet stran: 412
- Šířka balení: 23.6 cm
- Výška balení: 16.1 cm
- Hloubka balení: 2.5 cm
Recenze