خرید و دانلود نسخه کامل کتاب Proof, Computation and Agency: Logic at the Crossroads

اثبات، محاسبات و عاملیت: منطق در تقاطع

Proof, Computation and Agency: Logic at the Crossroads

نویسنده: John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)

ناشر: Springer Netherlands

سال انتشار: 2011

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

زبان: English

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

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