استنتاج طبیعی، سیستم های ترکیبی و منطق مودال (روند در منطق، 30)
Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic, 30)
نویسنده: Andrzej Indrzejczak
ناشر: Springer
سال انتشار: 2010
تعداد صفحات: 515
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت