An Institution-Independent Proof of Craig Interpolation Property (0)

by R Diaconescu
Venue:Studia Logica