Jämför priser
Pocket
Categorical Logic and Type Theory
avB. Jacobs
Beskrivning:
Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
Fakta
- Förlag:
- Elsevier Science & Technology
- ISBN:
- 9780444508539
- Bandtyp:
- Utgiven:
- 2001-05-24
- Språk:
- Engelska
- Antal Sidor:
- 780
- ISBN-10:
- 0444508538
Priser hos nätbutiker
| Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
|---|---|---|---|---|---|---|
 |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 1256.00 kr | I lager | 10-20 dagar | 1256.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!
