A second paper "On the interpolation theorem for the logic of constant domains (1983)

by E G K Lopez-Escobar
Venue:Journal of Symbolic Logic