Logical Algebras as Formal Systems: H.B. Curry’s Approach to Algebraic Logic
Author:
Seldin Jonathan P.
Reference31 articles.
1. Curry, H.B.: An analysis of logical substitution. Am. J. Math. 51, 363–384 (1929)
2. Curry, H.B.: Grundlagen der kombinatorischen Logik. Am. J. Math. 52, 509–536, 789–834 (1930). Inauguraldissertation
3. Curry, H.B.: The universal quantifier in combinatory logic. Ann. Math. 32, 154–180 (1931)
4. Curry, H.B.: Some additions to the theory of combinators. Am. J. Math. 54, 551–558 (1932)
5. Curry, H.B.: Apparent variables from the standpoint of combinatory logic. Ann. Math. 34, 381–404 (1933)