دانلود کتاب Basic proof theory
نظریه اثبات اساسی
زبان : English
نویسندگان : A S Troelstra; Helmut Schwichtenberg
ناشر : Cambridge University Press
سال انتشار : 2000
ISBN (شابک) : 0521779111, 9780521779111, 0521784522, 9780521784528
ویرایش : [2nd ed.]
سری : Cambridge tracts in theoretical computer science, 43
تعداد صفحات : 430
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان