[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Categorical Logic and Type Theory

Sprache EnglischEnglisch
Buch Broschur
Buch Categorical Logic and Type Theory B. Jacobs
Libristo-Code: 04079613
Verlag Elsevier Science & Technology, Mai 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Vollständige Beschreibung
? points 381 b
152.04 € inkl. MwSt.
Externes Lager Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Higher-Order Logic and Type Theory John L. Bell / Broschur
common.buy 25.21 €
National Electrical Safety Code 2007 Handbook David J Marne / Hardcover
common.buy 105.23 €
Completions of Categories Joachim Lambek / Broschur
common.buy 47.11 €
Charles Nicolle, Pasteur's Imperial Missionary Kim Pelis / Hardcover
common.buy 140.14 €
DEMNÄCHST
America John Kinsella / Broschur
common.buy 10.58 €
Future Medical Engineering Based On Bionanotechnology - Proceedings Of The Final Symposium Of The Tohoku University 21st Century Center Of Excellence Yamaguchi Takami / Hardcover
common.buy 473.80 €
A variational theory of convolution- Type functionals Roberto Alicandro / Broschur
common.buy 64.16 €
Torsion Theories, Additive Semantics, and Rings of Quotients Joachim Lambek / Broschur
common.buy 47.11 €
Migration Without Borders Pecoud Antoine / Hardcover
common.buy 160.21 €
Temporal Type Theory Patrick Schultz / Hardcover
common.buy 149.22 €
Judaism States Its Theology Jacob Neusner / Hardcover
common.buy 131.76 €

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.

Informationen zum Buch

Vollständiger Name Categorical Logic and Type Theory
Autor B. Jacobs
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2001
Anzahl der Seiten 778
EAN 9780444508539
ISBN 0444508538
Libristo-Code 04079613
Verlag Elsevier Science & Technology
Gewicht 1242
Abmessungen 167 x 242 x 46

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Mathematik und Naturwissenschaften > Mathematik > Geometrie > Algebraische Geometrie
Mathematik und Naturwissenschaften > Mathematik > Algebra
Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik
Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Wissenschaftsphilosophie und -theorie
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto