%0 Journal Article
%A M.W. Bunder
%T Predicate calculus and naive set theory in pure combinatory logic.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1981
%P 169-178
%V 21
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1981__21_137984/
%F AMLG_1981__21_137984