Suranyi, Janos Reduktionstheorie des Entscheidungsproblems im Pradikatenkakul der e rsten sturfe. / Janos Suranyi - Berlin : Veb Deutscher Verlag der Wissenschaften , 1959 - 215, [1] p. ; 24 cm. "Literaturverzeichnis" :p. 213-215 Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 164 SUR