Format:
1 Online-Ressource (xviii, 760 p.)
,
ill
,
23 cm
Edition:
1st ed
Edition:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0444501703
,
9780444501707
Series Statement:
Studies in logic and the foundations of mathematics v. 141
Note:
Includes bibliographical references (p. 717-733) and indexes
Additional Edition:
Reproduktion von Categorical logic and type theory c1998
Language:
English
Subjects:
Mathematics
Keywords:
Hochschulschrift
Bookmarklink