Pastāsti draugiem par šo preci:
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
Cena
€ 147,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 16. - 30. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics
Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)
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.
780 pages
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2001. gada 10. maijs |
| ISBN13 | 9780444508539 |
| Izdevēji | Elsevier Science & Technology |
| Lapas | 778 |
| Izmēri | 167 × 242 × 46 mm · 1,07 kg |
| Valoda | Angļu |
