TY  - JOUR
AU  - Kalmár, László
TI  - Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen
JO  - Compositio Mathematica
PY  - 1937
SP  - 137
EP  - 144
VL  - 4
PB  - Johnson Reprint Corporation
UR  - http://www.numdam.org/item/CM_1937__4__137_0/
LA  - de
ID  - CM_1937__4__137_0
ER  -