Reduktionstheorie des Entscheidungsproblems im Pradikatenkakul der e rsten sturfe. - Suranyi, Janos (Berlin : Veb Deutscher Verlag der Wissenschaften, 1959)
"Literaturverzeichnis" :p. 213-215
Keywords: Logic, Symbolic and mathematical