دانلود کتاب Proof and Disproof in Formal Logic: An Introduction for Programmers
دسته: منطق
کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان نسخه زبان اصلی
دانلود کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Proof and Disproof in Formal Logic: An Introduction for Programmers
نام کتاب : Proof and Disproof in Formal Logic: An Introduction for Programmers
عنوان ترجمه شده به فارسی : اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان
سری : Oxford Texts in Logic
نویسندگان : Richard Bornat
ناشر : Oxford University Press, USA
سال نشر : 2005
تعداد صفحات : 263
ISBN (شابک) : 9780198530268 , 0198530269
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.