Intuitionistic type theory / Per Martin-Löf

Von:

Mitwirkende(r):

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Studies in proof theory / Lecture notes ; 1Verlag: Napoli : Bibliopolis, 1984Beschreibung: 91 SISBN:

Schlagwörter:

Genre/Form:

DDC-Klassifikation:

RVK: RVK: SK 130 | CC 2600Call number: Grundsignatur: 95 B 428PPN: PPN: 013007912

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	95 B 428	Verfügbar	47152006090

Anzahl Vormerkungen: 0