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

Zbl 
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/
@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},
     year = {1975},
     volume = {17},
     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
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
%U http://geodesic.mathdoc.fr/item/AMLG_1975__17_137905/
%F AMLG_1975__17_137905