Predicate calculus and naive set theory in pure combinatory logic.

@article{Bunder1981,
author = {Bunder, M.W.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {combinatory logic with equality},
pages = {169-178},
title = {Predicate calculus and naive set theory in pure combinatory logic.},
url = {http://eudml.org/doc/137984},
volume = {21},
year = {1981},
}

TY - JOUR
AU - Bunder, M.W.
TI - Predicate calculus and naive set theory in pure combinatory logic.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1981
VL - 21
SP - 169
EP - 178
KW - combinatory logic with equality
UR - http://eudml.org/doc/137984
ER -