Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Categorical Logic and Type Theory

Język AngielskiAngielski
Książka Miękka
Książka Categorical Logic and Type Theory B. Jacobs
Kod Libristo: 04079613
Wydawnictwo Elsevier Science & Technology, maj 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Cały opis
? points 341 b
Gwarancja
najlepszej
ceny ▸
616.23 zł
Dostępna u dostawcy Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Książka Karta
common.buy 54.20 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Categorical Logic and Type Theory
Autor B. Jacobs
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 778
EAN 9780444508539
ISBN 0444508538
Kod Libristo 04079613
Wydawnictwo Elsevier Science & Technology
Waga 1242
Wymiary 167 x 242 x 46

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Matematyka i nauki ścisłe > Matematyka > Geometria > Geometria algebraiczna
Matematyka i nauki ścisłe > Matematyka > Algebra
Matematyka i nauki ścisłe > Matematyka > Matematyka stosowana
Matematyka i nauki ścisłe > Nauki ścisłe > Filozofia nauki
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

TOP
Foundations of Mathematics Kenneth Kunen / Książka Miękka
common.buy 97.72 zł
Categories for Types Crole / Książka Miękka
common.buy 383.53 zł
Completions of Categories Joachim Lambek / Książka Miękka
common.buy 107.11 zł
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Książka Twarda
common.buy 1 945.75 zł
TOP
Set Theory Kenneth Kunen / Książka Miękka
common.buy 95.39 zł
Set Theory Thomas Jech / Książka Twarda
common.buy 850.05 zł
Set Theory Thomas Jech / Książka Miękka
common.buy 850.05 zł
Tanie
Real World Haskell Bryan O´Sullivan / Książka Miękka
common.buy 180.10 zł
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Książka Twarda
common.buy 310.03 zł
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Książka Twarda
common.buy 60.87 zł
Sixty for Sax Alan Bullard / Prasa Nuty
common.buy 37.04 zł
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Książka Miękka
common.buy 32.90 zł
Higher-Order Logic and Type Theory John L. Bell / Książka Miękka
common.buy 117.81 zł
Rise of Radio Astronomy in the Netherlands Astrid Elbers / Książka Miękka
common.buy 445.52 zł
Platform for Change Analogique / Książka Twarda
common.buy 265.00 zł
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Książka Miękka
common.buy 123.06 zł
Basketball: The 9 Essential Game Skills Dre Baldwin / Książka Miękka
common.buy 86.71 zł
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 / Książka Miękka
common.buy 37.95 zł
Quantum Entanglement: Part Two Ryan Stacks / Książka Miękka
common.buy 66.52 zł
Code Red VINCE FLYNN / Książka Twarda
common.buy 94.99 zł
Advances in Applications of Industrial Biomaterials Eva Pellicer / Książka Miękka
common.buy 494.88 zł
Truth of the Once and Future King M T Boulton / Książka Miękka
common.buy 58.85 zł
Advanced Taekwondo Adam Gibson / Książka Miękka
common.buy 67.53 zł
Momma Said Momma Said T L Hawkins / Książka Miękka
common.buy 46.43 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?