Reduktionstheorie des Entscheidungsproblems im Prädikantenkalkül der ersten Stufe - Surányi, János (Dt. Verl. der Wiss., 1959)