phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

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 366 b
623.12 zł
Dostępna u dostawcy Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Higher-Order Logic and Type Theory John L. Bell / Miękka
common.buy 102.58 zł
National Electrical Safety Code 2007 Handbook David J Marne / Twarda
common.buy 427.02 zł
Completions of Categories Joachim Lambek / Miękka
common.buy 192.20 zł
Charles Nicolle, Pasteur's Imperial Missionary Kim Pelis / Twarda
common.buy 571.92 zł
Zapowiedź
America John Kinsella / Miękka
common.buy 42.30 zł
Future Medical Engineering Based On Bionanotechnology - Proceedings Of The Final Symposium Of The Tohoku University 21st Century Center Of Excellence Yamaguchi Takami / Twarda
common.buy 1 933.54 zł
A variational theory of convolution- Type functionals Roberto Alicandro / Miękka
common.buy 261.85 zł
Torsion Theories, Additive Semantics, and Rings of Quotients Joachim Lambek / Miękka
common.buy 192.20 zł
Migration Without Borders Pecoud Antoine / Twarda
common.buy 654.95 zł
Temporal Type Theory Patrick Schultz / Twarda
common.buy 609.14 zł
Judaism States Its Theology Jacob Neusner / Twarda
common.buy 537.79 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.

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

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