روشهای اثبات منطقهای مalدلی و شهودی
Proof methods for modal and intuitionistic logics
نویسنده: Fitting M. ;Davidson, Donald; Hintikka, Jaakko; Nuchelmans, Gabriël
ناشر: D.Reidel,Springer Netherlands
سال انتشار: 1983
تعداد صفحات: 564
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت