> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Categorical logic and type theory Beteiligte: Jacobs, Bart [Verfasser:in] Erschienen: Amsterdam [u.a.]: Elsevier, 1999 Erschienen in: Studies in logic and the foundations of mathematics ; 14100 Ausgabe: 1. ed. Umfang: XVIII, 760 S; graph. Darst Sprache: Englisch ISBN: 0444508538; 0444501703 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung Schlagwörter: Typentheorie Entstehung: Hochschulschrift: Teilw. zugl.: Nijmegen, Univ., Diss., 1991 Anmerkungen: Includes bibliographical references and indexes Weitere Bestandsnachweise 0 : Studies in logic and the foundations of mathematics
Bereichsbibliothek DrePunct – Freihand Signatur: SK 130 J17 Barcode: 31562752 Status: Benutzung nur im Haus, Versand per Fernleihe möglich