Gabbay, D. M., & Maksimove. (2005). Interpolation and definability: Model and intuitionistic logic.
Chicago-стиль цитированияGabbay, Dov M., and Maksimove. Interpolation and Definability: Model and Intuitionistic Logic. Clarendon Press, Oxford, 2005.
MLA-цитированиеGabbay, Dov M., and Maksimove. Interpolation and Definability: Model and Intuitionistic Logic. 2005.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.