Podobné jednotky: Reduktionstherapie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe /