2 results
Persistence and Herbrand expansions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
- Print publication:
- December 1963
-
- Article
- Export citation
János Surányi. Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1959, 216 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-276
- Print publication:
- September 1960
-
- Article
- Export citation