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

Zbl   JFM 

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/
@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},
     year = {1937},
     publisher = {Johnson Reprint Corporation},
     volume = {4},
     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