Alasdair Urquhart در منطق غیر کلاسیک و جبری و پیچیدگی براهین (مشارکت برجسته در منطق، 22)
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs (Outstanding Contributions to Logic, 22)
نویسنده: Ivo Düntsch (editor), Edwin Mares (editor)
ناشر: Springer
سال انتشار: 2021
تعداد صفحات: 591
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت