کسر طبیعی، سیستم های ترکیبی و منطق های مدال
Natural Deduction, Hybrid Systems and Modal Logics
نویسنده: Andrzej Indrzejczak
ناشر: Springer Netherlands
سال انتشار: 2010
تعداد صفحات: 516
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت