دانلود کتاب Computability and Logic
محاسبه و منطق
زبان : English
نویسندگان : George S. Boolos, John P. Burgess, Richard C. Jeffrey
ناشر : Cambridge University Press
سال انتشار : 2002
ISBN (شابک) : 9780521007580, 0521007585
ویرایش : [4 ed.]
سری : Springer Monographs in Mathematics
تعداد صفحات : 370
حجم : 4 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان