Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Categorical Logic and Type Theory

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Categorical Logic and Type Theory B. Jacobs
Koda Libristo: 04079613
Založba Elsevier Science & Technology, maj 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Celoten opis
? points 319 b
130.38 €
Na zalogi pri dobavitelju Odposlali bomo v 10-16 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Knjiga Preglednica
common.buy 11.01 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Categorical Logic and Type Theory
Avtor B. Jacobs
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2001
Število strani 778
EAN 9780444508539
ISBN 0444508538
Koda Libristo 04079613
Založba Elsevier Science & Technology
Teža 1242
Mere 167 x 242 x 46

Kategorije

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Geometry > Algebraic geometry
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Applied mathematics
Mathematics & Science > Science: general issues > Philosophy of science
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Foundations of Mathematics Kenneth Kunen / Knjiga Mehka
common.buy 23.22 €
Categories for Types Crole / Knjiga Mehka
common.buy 90.12 €
Set Theory Kenneth Kunen / Knjiga Mehka
common.buy 22.62 €
Completions of Categories Joachim Lambek / Knjiga Mehka
common.buy 24.22 €
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Knjiga Trda
common.buy 454.54 €
Set Theory Thomas Jech / Knjiga Trda
common.buy 192.67 €
Set Theory Thomas Jech / Knjiga Mehka
common.buy 192.67 €
Poceni
Real World Haskell Bryan O´Sullivan / Knjiga Mehka
common.buy 40.85 €
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Knjiga Trda
common.buy 72.49 €
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Knjiga Trda
common.buy 12.61 €
Sixty for Sax Alan Bullard / Tiskani izdelki Note
common.buy 7.50 €
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Knjiga Mehka
common.buy 7.40 €
Higher-Order Logic and Type Theory John L. Bell / Knjiga Mehka
common.buy 24.83 €
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Knjiga Mehka
common.buy 25.84 €
Advances in Applications of Industrial Biomaterials Eva Pellicer / Knjiga Mehka
common.buy 100.93 €
Platform for Change Analogique / Knjiga Trda
common.buy 54.87 €
Temporal Type Theory Patrick Schultz / Knjiga Trda
common.buy 64.68 €
Basketball: The 9 Essential Game Skills Dre Baldwin / Knjiga Mehka
common.buy 18.12 €
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 / Knjiga Mehka
common.buy 8.10 €
Quantum Entanglement: Part Two Ryan Stacks / Knjiga Mehka
common.buy 13.92 €
Truth of the Once and Future King M T Boulton / Knjiga Mehka
common.buy 13.91 €
Advanced Taekwondo Adam Gibson / Knjiga Mehka
common.buy 13.91 €
Rise of Radio Astronomy in the Netherlands Astrid Elbers / Knjiga Mehka
common.buy 90.92 €
Annabelle: A Ghostly Texas Tale Chana Keefer / Knjiga Mehka
common.buy 14.82 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?