Open Access
1959 An interpolation theorem in the predicate calculus.
Roger C. Lyndon
Pacific J. Math. 9(1): 129-142 (1959).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.9 • No. 1 • 1959
Back to Top