Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Simmons, H. (University of Manchester) - Derivation and Computation - Taking the Curry-Howard Correspondence Seriously
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Simmons, H. (University of Manchester) |
| Titel: | Derivation and Computation - Taking the Curry-Howard Correspondence Seriously |
| ISBN: | 9780521771733 |
| Uitgever: | Cambridge University Press |
| Bijzonderheid: | 2000 412pp Gebonden |
| Prijs: |
€ 158,45
Gratis
|
| Meer info | Flaptekst 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. |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.