InfoGuide der Hochschule für Wirtschaft und Recht Berlin

lokale Datenbank (1/1)

Categorical logic and type theory Verlagsort, Verlag, Jahr: Amsterdam ; New York, Elsevier Science, c1999 Umfang: 1 Online-Ressource (xviii, 760 p.) ISBN / ISSN: 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://bibliothek.dhm.de/00/bvnr/BV036962250

Titel: Categorical logic and type theory Sonst. Personen: Jacobs, Bart Verf.Vorlag: Bart Jacobs Aufl./Ausgabe: 1st ed Verlagsort: Amsterdam ; New York Verlag: Elsevier Science Jahr (Ansetzg): 1999 Jahr: c1999 Umfang: 1 Online-Ressource (xviii, 760 p.) Ill.: ill Format: 23 cm Serie/Reihe: Studies in logic and the foundations of mathematics ; v. 141 Bdang. d. GT: v. 141 Allg. Fussnoten: Includes bibliographical references (p. 717-733) and indexes ISBN / ISSN: 0-444-50170-3 ISBN / ISSN: 978-0-444-50170-7 DDC: 511.3 LC-Notation: QA9 Verbundkatalog: BVB Verbund-ISN: BV036962250 Sprache: eng ErschLand: XA-NL Ersch. Form: s Veroeffentlart: u Volltext: hier klicken

Datenbank-Auswahl
Auswahl
ändern