Proof and disproof in formal logic: an introduction for programmers

دانلود کتاب Proof and disproof in formal logic: an introduction for programmers

دسته: منطق

38000 تومان موجود

کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان

دانلود کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 11


توضیحاتی در مورد کتاب Proof and disproof in formal logic: an introduction for programmers

نام کتاب : Proof and disproof in formal logic: an introduction for programmers
عنوان ترجمه شده به فارسی : اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان
سری : Oxford texts in logic 2
نویسندگان :
ناشر : Oxford University Press
سال نشر : 2005
تعداد صفحات : 263
ISBN (شابک) : 9780198530268 , 0198530277
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت



Buy This Book From EBOOKST.COM

بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی