%0 Journal Article %A Fitch, Frederic B. %D 1963 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 1 %P 87-97 %T The system cδ of combinatory logic %V 28