Umfang:
1 Online-Ressource (xviii, 760 p.)
,
ill
,
23 cm
Ausgabe:
1st ed
Ausgabe:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0444501703
,
9780444501707
Serie:
Studies in logic and the foundations of mathematics v. 141
Anmerkung:
Includes bibliographical references (p. 717-733) and indexes
Weitere Ausg.:
Reproduktion von Categorical logic and type theory c1998
Sprache:
Englisch
Fachgebiete:
Mathematik
Schlagwort(e):
Hochschulschrift
Bookmarklink