Intuitionistic type theory / Per Martin-Löf
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Studies in proof theory / Lecture notes ; 1Verlag: Napoli : Bibliopolis, 1984Beschreibung: 91 SISBN:- 8870881059
- 510.1
- 511/.3 19
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 B 428 | Verfügbar | 47152006090 |
Anzahl Vormerkungen: 0