Reduktionstheorie des Entscheidungsproblems : IM PRÄDIKATENKALKÜL DER ERSTEN STUFE - Surányi, János (Veb Deutscher Verlag der Wissenschaften, 1959)