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

von János Surányi
Bok · Tysk · 1959

Utgitt	Budapest : Verlag der Ungarischen Akademie der Wissenschaften , 1959
Omfang	215 s.
Emner	Logic, Symbolic and mathematical Recursive functions