References
Curry, H. B.: An analysis of logical substitution. Am. J. Math.51, 363–384 (1929).
--, andR. Feys: Combinatory logic. Amsterdam 1958.
Halmos, P. R.: Algebraic logic. New York: Chelsea 1962.
Menger, K.: Superassociative systems and logical functors. Math. Ann.157, 278–295 (1964).
Schönfinkel, M.: Über die Bausteine der mathematischen Logik. Math. Ann.92, 305–316 (1924).
Schweizer, B., andA. Sklar: The algebra of functions. Math. Ann.139, 366–382 (1960);143, 440–447 (1961).
—— A mapping-algebra with infinitely many operations. Coll. Math.9, 33–38 (1962).
Whitlock, H. L.: A composition algebra for multiplace functions. Math. Ann.157, 167–178 (1964).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Davis, A.S. An axiomatization of the algebra of transformations over a set. Math. Ann. 164, 372–377 (1966). https://doi.org/10.1007/BF01350047
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01350047