ロード中...

Interpolation and definability: Model and intuitionistic logic

書誌詳細
第一著者: Gabbay, Dov M
その他の著者: Maksimove
フォーマット: Printed Book
出版事項: Clarendon Press, Oxford 2005
主題: