On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic

From MaRDI portal
Publication:1906666