3 results
Logic at Tver '92
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1150
- Print publication:
- September 1993
-
- Article
- Export citation
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 201–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1965
-
- Article
- Export citation
Roger C. Lyndon. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 (1959), pp. 129–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
- Print publication:
- September 1960
-
- Article
- Export citation