Geodesic
The equivalence of two definitions of elementary formal system
Compositio Mathematica, Tome 20 (1968), pp. 13-20

Voir la notice de l'article provenant de la source Numdam

MR Zbl EuDML 
Curry, Haskell B. The equivalence of two definitions of elementary formal system. Compositio Mathematica, Tome 20 (1968), pp. 13-20. http://geodesic.mathdoc.fr/item/CM_1968__20__13_0/
@article{CM_1968__20__13_0,
     author = {Curry, Haskell B.},
     title = {The equivalence of two definitions of elementary formal system},
     journal = {Compositio Mathematica},
     pages = {13--20},
     year = {1968},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     mrnumber = {238671},
     zbl = {0167.01002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1968__20__13_0/}
}
TY  - JOUR
AU  - Curry, Haskell B.
TI  - The equivalence of two definitions of elementary formal system
JO  - Compositio Mathematica
PY  - 1968
SP  - 13
EP  - 20
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1968__20__13_0/
LA  - en
ID  - CM_1968__20__13_0
ER  - 
%0 Journal Article
%A Curry, Haskell B.
%T The equivalence of two definitions of elementary formal system
%J Compositio Mathematica
%D 1968
%P 13-20
%V 20
%I Wolters-Noordhoff Publishing
%U http://geodesic.mathdoc.fr/item/CM_1968__20__13_0/
%G en
%F CM_1968__20__13_0