Intuitionistic type theory / Per Martin-Löf
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Studies in proof theory / Lecture notes ; 1Publisher: Napoli : Bibliopolis, 1984Description: 91 SISBN:- 8870881059
- 510.1
- 511/.3 19
Item type | Home library | Shelving location | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 B 428 | Available | 47152006090 |
Total holds: 0