InfoGuide der TH Wildau (FH)

Onlinekatalog der TFH Wildau (1/1)

Categorical logic and type theory Verlagsort, Verlag, Jahr: Amsterdam ; New York, Elsevier Science, c1999 Umfangsangabe: 1 Online-Ressource (xviii, 760 p.) ISBN: 0-444-50170-3, 978-0-444-50170-7 in die Merkliste \| Persistenter Link Kopieren Sie diesen Link um auf dieses Werk Bezug zu nehmen: https://btwov60.bib-bvb.de/00/bvnr/BV036962250

Titel: Categorical logic and type theory Hrsg./Bearb.: Jacobs, Bart Volltext: hier klicken Verfasserangabe: Bart Jacobs Ausgabe: 1st ed Verlagsort: Amsterdam ; New York Verlag: Elsevier Science ISBN: 0-444-50170-3 ISBN: 978-0-444-50170-7 Jahr: c1999 Umfangsangabe: 1 Online-Ressource (xviii, 760 p.) Illustrationen: ill Serie/Reihe: Studies in logic and the foundations of mathematics ; v. 141 Band: v. 141 Allgemeine Bemerkung: Includes bibliographical references (p. 717-733) and indexes