Format:
Online-Ressource
Edition:
1. ed.
Edition:
Elsevier e-book collection on ScienceDirect
ISBN:
0444501703
,
9780444501707
,
9780080528700
,
0080528708
Series Statement:
Studies in logic and the foundations of mathematics v. 141
Content:
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.
Note:
Includes bibliographical references (p. 717-733) and indexes
,
English
Additional Edition:
ISBN 0444501703
Additional Edition:
Erscheint auch als Druck-Ausgabe Jacobs, Bart Categorical logic and type theory Amsterdam ; New York : Elsevier Science, c1999
Additional Edition:
Erscheint auch als Druck-Ausgabe Jacobs, Bart, 1963 - Categorical logic and type theory Amsterdam [u.a.] : Elsevier, 1999 ISBN 0444508538
Additional Edition:
ISBN 0444501703
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Typentheorie
;
Kategorientheorie
;
Kategorientheorie
;
Typentheorie
;
Electronic books
;
Electronic books
;
Hochschulschrift
URL:
Volltext
(Deutschlandweit zugänglich)
Author information:
Jacobs, Bart 1963-
