00593nam a22001575a 4500 MAT.inmabb001047 031120s1959####hu#######b####001#0#ger#d 20160527115000.0 Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe / von János Surányi. Budapest : Verlag der Ungarischen Akademie der Wissenschaften, 1959. 215 p. ; 25 cm. Incluye referencias bibliográficas (p. [213]-215). MR, 21 #7156 Surányi, János. 03D35 msc2000 03 Su961 A-952 BIB. MATEMATICA