%0 Journal Article %A Barendregt, Henk %A Bunder, Martin %A Dekkers, Wil %D 1993 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 3 %P 769-788 %T Systems of illative combinatory logic complete for first-order propositional and predicate calculus %V 58