Model extension theorem and Graigs interpolation theorem for intermediate predicate logics (1983)

by H Ono
Venue:Rep. Math. Logic