Gabbay, Dov M Interpolation and definability: Model and intuitionistic logic Dov M Gabbay and Maksimove - - Clarendon Press, Oxford 2005 - - . Subjects--Topical Terms: Set theory-- Fuzzy sets-- Transfinite numbers Dewey Class. No.: R 511.322 GAB-I