Gabbay, D. M., & Maksimove. (2005). Interpolation and definability: Model and intuitionistic logic.
Chicago Edition CitationGabbay, Dov M., and Maksimove. Interpolation and Definability: Model and Intuitionistic Logic. Clarendon Press, Oxford, 2005.
MLA Edition CitationGabbay, Dov M., and Maksimove. Interpolation and Definability: Model and Intuitionistic Logic. 2005.
Warning: These citations may not always be 100% accurate.