Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
Publisher: Deutscher Verlag der Wissenschaften
Published: 1959
Place of publication: Berlin
Language: ger
Number of pages: 215
Subjects: Logic, Symbolic and mathematical; Recursive functions
Notes: Bibliographical footnotes.

Bibliography: p. [213]-215.