Đang tải...

Interpolation and definability: Model and intuitionistic logic

Chi tiết về thư mục
Tác giả chính: Gabbay, Dov M
Tác giả khác: Maksimove
Định dạng: Printed Book
Được phát hành: Clarendon Press, Oxford 2005
Những chủ đề: