An interpolation theorem in the predicate calculus

• 1 March 1959
• journal article
• Published by Mathematical Sciences Publishers in Pacific Journal of Mathematics
• Vol. 9  (1) , 129-142
• https://doi.org/10.2140/pjm.1959.9.129

Abstract

Keywords

• INTERPOLATION THEOREM IN THE PREDICATE
• THEOREM IN THE PREDICATE CALCULUS