O SELECȚIE URIAȘĂ
Peste 4 milioane de cărți în engleză la prețuri avantajoase.
Categorical Logic and Type Theory: Volume 141
Limba:
Tip copertă:
Moale
Număr de pagini:
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 ...Descriere completă
738,60 RON
Informații detaliate
| ISBN | 9780444508539 |
|---|---|
| Autor | Jacobs B. |
| Editura | Elsevier Science & Technology |
| Limba | english |
| Tip copertă | Paperback |
| Anul publicării | 2001 |
| Număr de pagini | 778 |
Descrierea cărții
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.
-
-
LIVRARE GRATUITĂ
Livrare gratuită la comenzi de peste 300 Lei (Packeta.ro)
-
PREȚURI AVANTAJOASE
Încercăm să păstrăm prețurile cărților cât mai mici și întotdeauna sub prețul recomandat de editură.
-
PROGRAMUL MAGAZIN DE ÎNCREDERE
Magazinul nostru a devenit un “Magazin de încredere“ pe baza recenziilor oferite de către clienții noștri reali.
-
ABORDARE PERSONALĂ
Cel mai important pentru noi este satisfacția Dvs. Vindem cărți deoarece le iubim. Nu suntem giganți transnaționali, ci o companie onestă din Republica Cehă. În plus, cele mai bune cărți au recenzii în blogul nostru.