Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Categorical Logic and Type Theory

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Categorical Logic and Type Theory B. Jacobs
Libristo kód: 04079613
Nakladatelství Elsevier Science & Technology, květen 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Celý popis
? points 319 b
3 185 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Kniha List
common.buy 290 Kč
El circulo de los dias Ken Follett / Kniha Pevná
common.buy 594 Kč
HORROR TINY TAROT DECK & GDBK GMITTER ARIA Tiskovina Karty
common.buy 357 Kč
Rajz 10 lépésben - Állatok Heather Kilgour / Kniha Pevná
common.buy 296 Kč
Mis primeras 100 palabras EDWARD UNDERWOOD / Kniha Brožovaná
common.buy 291 Kč
Puzzle Avengers Endgame / Hra/Hračka Puzzle
common.buy 226 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Categorical Logic and Type Theory
Autor B. Jacobs
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 778
EAN 9780444508539
ISBN 0444508538
Libristo kód 04079613
Nakladatelství Elsevier Science & Technology
Váha 1242
Rozměry 167 x 242 x 46

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Matematika a věda > Matematika > Geometrie > Algebraická geometrie
Matematika a věda > Matematika > Algebra
Matematika a věda > Matematika > Aplikovaná matematika
Matematika a věda > Věda: obecná témata > Filozofie vědy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Categories for Types Crole / Kniha Brožovaná
common.buy 2 097 Kč
Foundations of Mathematics Kenneth Kunen / Kniha Brožovaná
common.buy 603 Kč
Completions of Categories Joachim Lambek / Kniha Brožovaná
common.buy 628 Kč
Set Theory Kenneth Kunen / Kniha Brožovaná
common.buy 589 Kč
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Kniha Pevná
common.buy 9 701 Kč
Set Theory Thomas Jech / Kniha Pevná
common.buy 4 977 Kč
Top
Set Theory Thomas Jech / Kniha Brožovaná
common.buy 4 977 Kč
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Kniha Pevná
common.buy 1 699 Kč
Top
Real World Haskell Bryan O´Sullivan / Kniha Brožovaná
common.buy 1 121 Kč
Sixty for Sax Alan Bullard / Tiskovina Noty
common.buy 228 Kč
Top
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Kniha Pevná
common.buy 256 Kč
Higher-Order Logic and Type Theory John L. Bell / Kniha Brožovaná
common.buy 577 Kč
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Kniha Brožovaná
common.buy 182 Kč
National Health and Nutrition Examination Survey (NHANES): Ophthalmology Procedures Manual Centers for Disease Cont And Prevention / Kniha Brožovaná
common.buy 444 Kč
Momma Said Momma Said T L Hawkins / Kniha Brožovaná
common.buy 237 Kč
UNTITLED HA VINCE FLYNN / Kniha Pevná
common.buy 526 Kč
Quantum Entanglement: Part Two Ryan Stacks / Kniha Brožovaná
common.buy 341 Kč
Dark Psychology and Manipulation: This book helps to discover the secrets and techniques in Dark Psychology and daily used techniques to control mind. Sarah Fergie / Kniha Brožovaná
common.buy 184 Kč
Připravujeme
Lughatuna Al-Fusha: Book 4 Samia Louis / Kniha Brožovaná
common.buy 955 Kč
Basketball: The 9 Essential Game Skills Dre Baldwin / Kniha Brožovaná
common.buy 444 Kč
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Kniha Brožovaná
common.buy 631 Kč
Platform for Change Analogique / Kniha Pevná
common.buy 1 492 Kč
A Chronology of the United States Marine Corps, 1947-1964 Ralph W Donnelly / Kniha Brožovaná
common.buy 349 Kč
Advances in Applications of Industrial Biomaterials Eva Pellicer / Kniha Brožovaná
common.buy 2 492 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?