دانلود کتاب Truth, deduction, and computation: logic and semantics for computer science (به فارسی: حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر) نوشته شده توسط «R. E. Davis»
اطلاعات کتاب حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: W.H. Freeman & Company
نویسنده: R. E. Davis
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 281
حجم کتاب: 12 مگابایت
کد کتاب: 9780716782018 , 0716782014
توضیحات کتاب حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر
دیویس آر.ای. حقیقت، استنتاج، و محاسبات (انتشارات علوم کامپیوتر، 1989) (ISBN 0716782014) (فایل)
دانلود کتاب «حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.