Harmonious logic: Craig's interpolation theorem and its descendants
scientific article; zbMATH DE number 5565217
scientific article