Geodesic
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975), pp. 55-60.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@article{AMLG_1975__17_137905,
     author = {Wilfried Buchholz},
     title = {Ein ausgezeichnetes {Modell} f\"ur die intuitionistische {Typenlogik.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {55--60},
     publisher = {mathdoc},
     volume = {17},
     year = {1975},
     zbl = {0317.02026},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1975__17_137905/}
}
TY  - JOUR
AU  - Wilfried Buchholz
TI  - Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1975
SP  - 55
EP  - 60
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1975__17_137905/
ID  - AMLG_1975__17_137905
ER  - 
%0 Journal Article
%A Wilfried Buchholz
%T Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1975
%P 55-60
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1975__17_137905/
%F AMLG_1975__17_137905
Wilfried Buchholz. Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975), pp. 55-60. http://geodesic.mathdoc.fr/item/AMLG_1975__17_137905/