Derivation and Computation av H. (University of Manchester) Simmons
1619,-
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.
Relaterte produkter
Vis flereVi har valgt ut en rekke interessante produkter i samme kategori som Derivation and Computation av H. (University of Manchester) Simmons. Hvis du ikke finner noe interessant her kan du enkelt klikke på “vis flere”.
Produktinformasjon
- Alle prisene nevnt ovenfor er oppgitt i Norske kroner.
- Dette produktet er tilgjengelig hos Norli NO.
- Hos Norli NO kan du kjøpe Derivation and Computation av H. (University of Manchester) Simmons for kun 1619,-.
- Den laveste prisen på Derivation and Computation av H. (University of Manchester) Simmons ble registrert 17. februar 2025 kl. 14:48.
Prisutvikling
Er den nåværende prisen et godt tilbud?
Grafen over prisutviklingen viser den laveste prisen over tid, eksklusiv fraktkostnader.
Prishistorikk for Derivation and Computation av H. (University of Manchester) Simmons
Laveste pris
1619,-
17 feb. 2025
Høyeste pris
1619,-
17 feb. 2025