VEĽKÝ VÝBER
Ponúkame milióny kníh v angličtine. Od beletrie až po tie najodbornejšie odborné.
Categorical Logic and Type Theory: Volume 141
Jazyk:
Väzba:
Mäkká
Počet strán:
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
147,72 €
Podrobné informácie
| ISBN | 9780444508539 |
|---|---|
| Autor | Jacobs B. |
| Vydavatel | Elsevier Science & Technology |
| Jazyk | english |
| Väzba | Paperback |
| Rok vydania | 2001 |
| Počet strán | 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.
Prečo nakupovať na Enbooku?
-
-
POŠTOVNÉ ZADARMO
Poštovné už od 2,99 € a pri objednávke nad 60 € doprava na pobočku Zásielkovne zadarmo
-
SKVELÉ CENY
Ceny kníh sa snažíme držať pri zemi a vždy pod cenou odporúčanou vydavateľom, aby si ich mohol kúpiť naozaj každý.
-
OVERENÉ ZÁKAZNÍKMI
Získali sme certifikát "Overené zákazníkmi" na Heureka.sk. Prezrite si naše recenzie
-
ONLINE PODPORA
Môžete využiť online chat, email alebo nám zatelefonovať.