- Suche
- Einfache Suche
- Erweiterte Suche
- Suchhistorie
- Suchergebnis
- Detailanzeige
- Merkliste
- Konto
- weitere Angebote
webOPAC |
|
SolrQueryCompletionProxy
Ihre Suchanfrage
= BV036962250
1
Katalog der Berliner Hochschule für Technik (1/1)
 Categorical logic and type theoryVerlagsort, Verlag, Jahr: Amsterdam ; New York, Elsevier Science, c1999 Umfang: 1 Online-Ressource (xviii, 760 p.) Auflage: 1st ed 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://webopac.bht-berlin.de/00/bvnr/BV036962250
|
|
|
Titel:
Categorical logic and type theory
Hrsg./Bearb.: Jacobs, Bart ISBN / ISSN: 0-444-50170-3 ISBN / ISSN: 978-0-444-50170-7 Jahr: c1999 Auflage: 1st ed Verlag: Elsevier Science Verlagsort: Amsterdam ; New York Sprache: eng Erscheinungsform: s Serie/Reihe: Studies in logic and the foundations of mathematics ; v. 141 Band: v. 141 Allg. Fussnoten: Includes bibliographical references (p. 717-733) and indexes Volltext: hier klicken |
weitere Optionen
Trunkierungen
Bitte beachten Sie mögliche Trunkierungszeichen:
* ersetzt mehrere Zeichen;
? ersetzt genau ein Zeichen (Beispiel: "Supply-Ch?in-Management" für die Suche nach "Supply-Chain-Management"
Rechtstrunkierung
(Beispiel: Bundes*);
Linkstrunkierung
(Beispiel: *otographie);
Mitteltrunkierung
(Beispiel: Fotogra*ie)
* ersetzt mehrere Zeichen;
? ersetzt genau ein Zeichen (Beispiel: "Supply-Ch?in-Management" für die Suche nach "Supply-Chain-Management"
Rechtstrunkierung
(Beispiel: Bundes*);
Linkstrunkierung
(Beispiel: *otographie);
Mitteltrunkierung
(Beispiel: Fotogra*ie)
E-Books
Sie suchen E-Books? Bitte schränken Sie Ihre Suche über die Sucheinschränkung "Erscheinungsform: E-Books" ein.
OPAC-Ansicht:
Klassisch
|
Mobil
Copyright © 2018. Alle Rechte vorbehalten.
Diese Seite verwendet Cookies.
Weitere Informationen.