The equivalence of two definitions of elementary formal system
Curry, Haskell B.
Compositio Mathematica, Tome 20 (1968), p. 13-20 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1968-01-01
@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/

H.B. Curry [CFS]. 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

H.B. Curry and Robert Feys [CLg.I] Combinatory Logic, vol. I. Amsterdam, North-Holland Publishing Co., 1958. | MR 94298 | Zbl 0175.27601

Emil L. Post [IGT]. Introduction to a general theory of elementary propositions. Amer. J. Math. 43: 163-185 (1921). | JFM 48.1122.01 | MR 1506440

Raymond M. Smullyan [TFS]. Theory of Formal Systems. Princeton, N.J., Princeton University Press, 1961. | MR 121300 | Zbl 0097.24503