The Craig interpolation theorem in abstract model theory
scientific article; zbMATH DE number 5565220
scientific article