Geodesic
Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen
Compositio Mathematica, Tome 4 (1937), pp. 137-144

Voir la notice de l'article provenant de la source Numdam

@article{CM_1937__4__137_0,
     author = {Kalm\'ar, L\'aszl\'o},
     title = {Zur\"uckf\"uhrung des {Entscheidungsproblems} auf den {Fall} von {Formeln} mit einer einzigen, bin\"aren, {Funktionsvariablen}},
     journal = {Compositio Mathematica},
     pages = {137--144},
     publisher = {Johnson Reprint Corporation},
     volume = {4},
     year = {1937},
     zbl = {0015.33804},
     language = {de},
     url = {http://geodesic.mathdoc.fr/item/CM_1937__4__137_0/}
}
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://geodesic.mathdoc.fr/item/CM_1937__4__137_0/
LA  - de
ID  - CM_1937__4__137_0
ER  - 
%0 Journal Article
%A Kalmár, László
%T Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen
%J Compositio Mathematica
%D 1937
%P 137-144
%V 4
%I Johnson Reprint Corporation
%U http://geodesic.mathdoc.fr/item/CM_1937__4__137_0/
%G de
%F CM_1937__4__137_0
Kalmár, László. Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, binären, Funktionsvariablen. Compositio Mathematica, Tome 4 (1937), pp. 137-144. http://geodesic.mathdoc.fr/item/CM_1937__4__137_0/