B. Jacobs: Categorical Logic and Type Theory

Cover: 9780444508539 | Categorical Logic and Type Theory | B. Jacobs | Taschenbuch | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

112,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Inhaltsverzeichnis

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

Details

Erscheinungsjahr:	2001
Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780444508539
ISBN-10:	0444508538
Sprache:	Englisch
Herstellernummer:	S0049-237X(98)X8028-6
Autor:	Jacobs, B.
Hersteller:	Elsevier Science Elsevier Science & Technology
Verantwortliche Person für die EU:	Zeitfracht Medien GmbH, Ferdinand-Jühlke-Str. 7, D-99095 Erfurt, produktsicherheit@zeitfracht.de
Maße:	36 x 156 x 234 mm
Von/Mit:	B. Jacobs
Erscheinungsdatum:	10.05.2001
Gewicht:	1,2 kg

Artikel-ID: 126700002

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2001
Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780444508539
ISBN-10:	0444508538
Sprache:	Englisch
Herstellernummer:	S0049-237X(98)X8028-6
Autor:	Jacobs, B.
Hersteller:	Elsevier Science Elsevier Science & Technology
Verantwortliche Person für die EU:	Zeitfracht Medien GmbH, Ferdinand-Jühlke-Str. 7, D-99095 Erfurt, produktsicherheit@zeitfracht.de
Maße:	36 x 156 x 234 mm
Von/Mit:	B. Jacobs
Erscheinungsdatum:	10.05.2001
Gewicht:	1,2 kg