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 ...Teljes leírás
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.
HATALMAS VÁLASZTÉK
Több mint 4 millió angol nyelvű könyv kitűnő áron.
INGYENES SZÁLLÍTÁS
25 500 Ft vagy nagyobb rendelés esetén a szállítás ingyenes
KITŰNŐ ÁRAK
A könyvek árait igyekszünk a földhöz közel tartani és mindig a kiadó által ajánlott ár alatt.
SZEMÉLYES HOZZÁÁLLÁS
Számunkra a legfontosabb az Ön elégedettsége. Könyveket árulunk, mert szeretjük őket. Nem transznacionális óriások vagyunk, hanem becsületes cseh cég. Ezenfelül a kitűnő könyveket saját blogunkban véleményezzük.
MEGBÍZHATÓ BOLT VAGYUNK A VÁSÁRLÓK ÉRTÉKELÉSE SZERINT
Megkaptuk a "Megbízható Bolt" címet az arukereso.hu portálon. Az értékeléseket megtekintheti itt