خرید و دانلود نسخه کامل کتاب Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

دنیاهای Kripke: مقدمه ای از منطق معین از طریق Tableaux

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

نویسنده: Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber (auth.)

ناشر: Birkhäuser Basel

سال انتشار: 2014

تعداد صفحات: 208

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت