منطق ترکیبی و نظریه اثبات آن
Hybrid Logic and its Proof-Theory
نویسنده: Torben Braüner
ناشر: Springer Netherlands
سال انتشار: 2011
تعداد صفحات: 239
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.