%0 Journal Article %A Bunder, M. W. %D 1977 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 4 %P 527-529 %T Consistency notions in illative combinatory logic %V 42