লোডিং...

Interpolation and definability: Model and intuitionistic logic

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Gabbay, Dov M
অন্যান্য লেখক: Maksimove
বিন্যাস: Printed Book
প্রকাশিত: Clarendon Press, Oxford 2005
বিষয়গুলি: