Geodesic
Completeness of cut-free type theories.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 137-142.

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

@article{AMLG_1974__16_137890,
     author = {Mitsuru Yasuhara},
     title = {Completeness of cut-free type theories.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {137--142},
     publisher = {mathdoc},
     volume = {16},
     year = {1974},
     zbl = {0291.02020},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1974__16_137890/}
}
TY  - JOUR
AU  - Mitsuru Yasuhara
TI  - Completeness of cut-free type theories.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1974
SP  - 137
EP  - 142
VL  - 16
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1974__16_137890/
ID  - AMLG_1974__16_137890
ER  - 
%0 Journal Article
%A Mitsuru Yasuhara
%T Completeness of cut-free type theories.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 137-142
%V 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137890/
%F AMLG_1974__16_137890
Mitsuru Yasuhara. Completeness of cut-free type theories.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 137-142. http://geodesic.mathdoc.fr/item/AMLG_1974__16_137890/