Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boek2.
Hendriks, Dimitri - Metamathematics in Coq (dissertation/proefschrift)
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Hendriks, Dimitri |
| Titel: | Metamathematics in Coq (dissertation/proefschrift) |
| ISBN: | 9039335702 |
| Uitgever: | Utrecht, Zeno Paperback, 95 pagina's., 2003, (eerste druk) |
| Bijzonderheid: | In zeer goede staat, in het Engels met Nederlandse samenvatting. In very good condition, written in English with a Dutch summary. |
| Prijs: |
€ 6,40
€ 4,50
|
| Boek bekijken | |
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.