خرید و دانلود نسخه کامل کتاب Labelled deductive systems

سیستم های قیاسی برچسب دار

Labelled deductive systems

نویسنده: Dov M. Gabbay

ناشر: Clarendon Press; Oxford University Press

سال انتشار: 1996

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

زبان: English

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

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