خرید و دانلود نسخه کامل کتاب Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)

حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر (مجموعه اصول علوم کامپیوتر)

Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)

نویسنده: R. E. Davis

ناشر: W.H. Freeman & Company

سال انتشار: 1989

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

زبان: English

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

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