@article{CM_1968__20__13_0, author = {Curry, Haskell B.}, title = {The equivalence of two definitions of elementary formal system}, journal = {Compositio Mathematica}, volume = {20}, year = {1968}, pages = {13-20}, mrnumber = {238671}, zbl = {0167.01002}, language = {en}, url = {http://dml.mathdoc.fr/item/CM_1968__20__13_0} }
Curry, Haskell B. The equivalence of two definitions of elementary formal system. Compositio Mathematica, Tome 20 (1968) pp. 13-20. http://gdmltest.u-ga.fr/item/CM_1968__20__13_0/
Calculuses and formal systems. Dialectica 12: 249-273 (1958). [FML]. Foundations of Mathematical Logic. New York, McGraw-Hill Book Co., 1963. | MR 105350 | Zbl 0092.25001
[CFS].Combinatory Logic, vol. I. Amsterdam, North-Holland Publishing Co., 1958. | MR 94298 | Zbl 0175.27601
and [CLg.I]Introduction to a general theory of elementary propositions. Amer. J. Math. 43: 163-185 (1921). | JFM 48.1122.01 | MR 1506440
[IGT].Theory of Formal Systems. Princeton, N.J., Princeton University Press, 1961. | MR 121300 | Zbl 0097.24503
[TFS].