%0 Journal Article %A Bunder, M. W. %D 1988 %I Springer %J Studia Logica %N 2 %P 129 - 143 %T Arithmetic based on the church numerals in illative combinatory logic %V 47