Interpolation and definability: Model and intuitionistic logic

Dades bibliogràfiques
Autor principal: Gabbay, Dov M
Altres autors: Maksimove
Format: Printed Book
Publicat: Clarendon Press, Oxford 2005
Matèries:
Set theory > Fuzzy sets > Transfinite numbers

Ítems similars