سفره دوگانه: مبانی ، روش شناسی ، مطالعات موردی (روند منطق ، 33)
Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic, 33)
نویسنده: Ewa Orlowska, Joanna Golińska Pilarek
ناشر: Springer
سال انتشار: 2010
تعداد صفحات: 517
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت