Geodesic
Predicate calculus and naive set theory in pure combinatory logic.
Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 169-178.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : combinatory logic with equality 
@article{AMLG_1981__21_137984,
     author = {M.W. Bunder},
     title = {Predicate calculus and naive set theory in pure combinatory logic.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {169--178},
     publisher = {mathdoc},
     volume = {21},
     year = {1981},
     zbl = {0472.03011},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137984/}
}
TY  - JOUR
AU  - M.W. Bunder
TI  - Predicate calculus and naive set theory in pure combinatory logic.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1981
SP  - 169
EP  - 178
VL  - 21
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1981__21_137984/
ID  - AMLG_1981__21_137984
ER  - 
%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
M.W. Bunder. Predicate calculus and naive set theory in pure combinatory logic.. Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 169-178. http://geodesic.mathdoc.fr/item/AMLG_1981__21_137984/