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