Geodesic
Completeness of cut-free type theories.
Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974), pp. 137-142 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

@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},
     year = {1974},
     volume = {16},
     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
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
%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/