خرید و دانلود نسخه کامل کتاب 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

ناشر: Oxford University Press, USA

سال انتشار: 2004

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

زبان: English

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

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