Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
Surányi, János.
Verlag der Ungarischen Akademie der Wissenschaften, Budapest, 1959
€ 24,00
24.5 x 18 cm, gray cloth hardcover with dust jacket, 216 pages, Text in German, minor wear to dust jacket, browned, very good condition, see picture.
Study on the reduction theory of the decision problem in first-order predicate logic, published by the Hungarian Academy of Sciences. Important contribution to mathematical logic and the theory of computability.
