Umfang:
XVIII, 760 S
,
graph. Darst
Ausgabe:
1. ed.
ISBN:
0444508538
,
0444501703
Serie:
Studies in logic and the foundations of mathematics 141
Anmerkung:
Includes bibliographical references and indexes
,
Teilw. zugl.: Nijmegen, Univ., Diss., 1991
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Jacobs, Bart, 1963 - Categorical logic and type theory Amsterdam [u.a.] : Elsevier, 1999 ISBN 0444501703
Weitere Ausg.:
ISBN 9780444501707
Weitere Ausg.:
ISBN 9780080528700
Weitere Ausg.:
ISBN 0080528708
Sprache:
Englisch
Fachgebiete:
Mathematik
,
Philosophie
Schlagwort(e):
Typentheorie
;
Hochschulschrift
Mehr zum Autor:
Jacobs, Bart 1963-
Bookmarklink