2 books • 1 series
Interpolation and Definability
Interpolation and Definability: Modal and Intuitionistic Logics. Oxford Logic Guides, Volume 46. (Oxford Logic Guides)