@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/