The equivalence of two definitions of elementary formal system
Compositio Mathematica (1968)
- Volume: 20, page 13-20
- ISSN: 0010-437X
Access Full Article
top
How to cite
topCurry, Haskell B.. "The equivalence of two definitions of elementary formal system." Compositio Mathematica 20 (1968): 13-20. <http://eudml.org/doc/88973>.
@article{Curry1968,
author = {Curry, Haskell B.},
journal = {Compositio Mathematica},
keywords = {general logic},
language = {eng},
pages = {13-20},
publisher = {Wolters-Noordhoff Publishing},
title = {The equivalence of two definitions of elementary formal system},
url = {http://eudml.org/doc/88973},
volume = {20},
year = {1968},
}
TY - JOUR
AU - Curry, Haskell B.
TI - The equivalence of two definitions of elementary formal system
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 13
EP - 20
LA - eng
KW - general logic
UR - http://eudml.org/doc/88973
ER -
References
top- H.B. Curry [CFS]. Calculuses and formal systems. Dialectica12: 249-273 (1958). [FML]. Foundations of Mathematical Logic. New York, McGraw-Hill Book Co., 1963. Zbl0092.25001MR105350
- H.B. Curry and Robert Feys [CLg.I] Combinatory Logic, vol. I. Amsterdam, North-Holland Publishing Co., 1958. Zbl0175.27601MR94298
- Emil L. Post [IGT]. Introduction to a general theory of elementary propositions. Amer. J. Math.43: 163-185 (1921). Zbl48.1122.01MR1506440JFM48.1122.01
- Raymond M. Smullyan [TFS]. Theory of Formal Systems. Princeton, N.J., Princeton University Press, 1961. Zbl0097.24503MR121300
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.