Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy), Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Swe - Twenty Five Years of Constructive Type Theory - Proceedings of a Congress Held in Venice, October 1995
De vraag gaat over de volgende titel:
| Schrijver: | Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy), Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Swe |
|---|---|
| Titel: | Twenty Five Years of Constructive Type Theory - Proceedings of a Congress Held in Venice, October 1995 |
| ISBN: | 9780198501275 |
| Uitgever: | Oxford University Press |
| Bijzonderheid: | 1998 292pp Gebonden |
| Prijs: |
€ 140,80
Gratis
|
| Meer info | Flaptekst Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject. |
| 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.