Craig interpolation

theorem

Categories: