Custom cover image
Custom cover image

Intuitionistic type theory / Per Martin-Löf

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Studies in proof theory / Lecture notes ; 1Publisher: Napoli : Bibliopolis, 1984Description: 91 SISBN:
  • 8870881059
Subject(s): Genre/Form: DDC classification:
  • 510.1
  • 511/.3 19
RVK: RVK: SK 130 | CC 2600Call number: Grundsignatur: 95 B 428PPN: PPN: 013007912
Holdings
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