Geodesic
On the Logic of Variable Binders.
Archiv für mathematische Logik und Grundlagenforschung, Tome 6 (1962), pp. 71-90.

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

Mots-clés : mathematical logic 
@article{AMLG_1962__6_137765,
     author = {Rolf Schock},
     title = {On the {Logic} of {Variable} {Binders.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {71--90},
     publisher = {mathdoc},
     volume = {6},
     year = {1962},
     zbl = {0121.01101},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1962__6_137765/}
}
TY  - JOUR
AU  - Rolf Schock
TI  - On the Logic of Variable Binders.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1962
SP  - 71
EP  - 90
VL  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1962__6_137765/
ID  - AMLG_1962__6_137765
ER  - 
%0 Journal Article
%A Rolf Schock
%T On the Logic of Variable Binders.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1962
%P 71-90
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1962__6_137765/
%F AMLG_1962__6_137765
Rolf Schock. On the Logic of Variable Binders.. Archiv für mathematische Logik und Grundlagenforschung, Tome 6 (1962), pp. 71-90. http://geodesic.mathdoc.fr/item/AMLG_1962__6_137765/