@article{1183396165, author = {Kalmar, Laszlo and Suranyi, Janos}, title = {On the Reduction of the Decision Problem}, journal = {J. Symbolic Logic}, volume = {12}, number = {1}, year = {1947}, pages = { 65-73}, language = {en}, url = {http://dml.mathdoc.fr/item/1183396165} }
Kalmar, Laszlo; Suranyi, Janos. On the Reduction of the Decision Problem. J. Symbolic Logic, Tome 12 (1947) no. 1, pp. 65-73. http://gdmltest.u-ga.fr/item/1183396165/