1. Recursive objects in all finite types;Grzegorczyk, A.;Fund. Math.,1964
2. Studies in Logic and the Foundations of Mathematics;Curry, Haskell B.,1958
3. A set of postulates for the foundation of logic;Church, Alonzo;Ann. of Math. (2),1933
4. The paradox of Kleene and Rosser;Curry, Haskell B.;Trans. Amer. Math. Soc.,1941
5. 5. Bruce Lercher, Strong reduction and recursion in combinatory logic, Thesis, The Pennsylvania State University, University Park, Pa., 1963.