A Note on the Interpolation Theorem in First Order Logic

George Weaver. A Note on the Interpolation Theorem in First Order Logic. Math. Log. Q., 28(14-18):215-218, 1982. [doi]

Abstract

Abstract is missing.