خرید و دانلود نسخه کامل کتاب Proofs and Algorithms: An Introduction to Logic and Computability

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

Proofs and Algorithms: An Introduction to Logic and Computability

نویسنده: Gilles Dowek (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2011

تعداد صفحات: 156 [168]

زبان: English

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

حجم فایل: 954 کیلوبایت