Loading...

Interpolation and definability: Model and intuitionistic logic

Bibliographic Details
Main Author: Gabbay, Dov M
Other Authors: Maksimove
Format: Printed Book
Published: Clarendon Press, Oxford 2005
Subjects: