Velký výběr
Nabízíme miliony knih v angličtině. Od beletrie až po ty nejodborněji odborné.
Categorical Logic and Type Theory: Volume 141
Jazyk:
Vazba:
Měkká vazba
Počet stran:
778
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of ...Celý popis
3 693,00 Kč
Podrobné informace
| ISBN | 9780444508539 |
|---|---|
| Autor | Jacobs B. |
| Vydavatel | Elsevier Science & Technology |
| Jazyk | english |
| Vazba | Paperback |
| Rok vydání | 2001 |
| Počet stran | 778 |
Popis knihy
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Proč nakupovat na Enbooku?
-
-
Poštovné zdarma
Poštovné už od 54 Kč a při objednávce nad 1499 Kč doprava na pobočku Zásilkovny zdarma.
-
Skvělé ceny
Ceny knih se snažíme držet při zemi a vždy pod cenou doporučovanou vydavatelem, aby si je mohl koupit opravdu každý.
-
Online podpora
Můžete využít online chatu, emailu nebo nám zatelefonovat.
-
Osobní přístup
Nejdůležitější je pro nás Vaše spokojenost. Prodáváme knihy, protože je milujeme. Nejsme žádní nadnárodní giganti, ale poctivá česká firma.