Partner Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten StufeSurányi János 9 990 Ft