خرید و دانلود نسخه کامل کتاب Reductive logic and proof-search: Proof theory, semantics, and control

منطق تقلیلی و جستجوی اثبات: نظریه اثبات، معناشناسی و کنترل

Reductive logic and proof-search: Proof theory, semantics, and control

نویسنده: David J. Pym, Eike Ritter

ناشر: Clarendon Press

سال انتشار: 2004

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

زبان: English

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

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