Interpolation and definability: Model and intuitionistic logic

Détails bibliographiques
Auteur principal: Gabbay, Dov M
Autres auteurs: Maksimove
Format: Printed Book
Publié: Clarendon Press, Oxford 2005
Sujets:
Set theory > Fuzzy sets > Transfinite numbers

Documents similaires