TY - BOOK AU - Suranyi, Janos TI - Reduktionstheorie des Entscheidungsproblems im Pradikatenkakul der e rsten sturfe. U1 - 164 SUR PY - 1959/// CY - Berlin PB - Veb Deutscher Verlag der Wissenschaften KW - Logic, Symbolic and mathematical N1 - "Literaturverzeichnis" :p. 213-215 ER -