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