Jämför priser
Inbunden
Lectures On The Curry-howard Isomorphism
avM. H. Sorensen, P. Urzyczyn
Beskrivning:
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspect [...]
Visa längre beskrivning
Fakta
- Förlag:
- Elsevier Science & Technology
- ISBN:
- 9780444520777
- Bandtyp:
- Inbunden
- Utgiven:
- 2006-06-30
- Språk:
- Engelska
- Antal Sidor:
- 456
- ISBN-10:
- 0444520775
Priser hos nätbutiker
| Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
|---|---|---|---|---|---|---|
 |
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden | 1199.00 kr | I lager | 5-15 dagar | 1199.00 kr | Till butik |
 |
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 1239.00 kr | I lager | 3-6 dagar | 1239.00 kr | Till butik |
 |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 1549.00 kr | I lager | 5-9 dagar | 1549.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!
