logo
logo

logo
-
/ 5
votes

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe