Reduktionstherapie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe - Surányi, János, 1918-2006 (Budapest : Akadémiai Kiadó, 1959)