دانلود کتاب Cut Elimination in Categories
حذف حذف در دسته ها
زبان : English
نویسندگان : Kosta Došen
ناشر : Kluwer, Dordrecht
سال انتشار : 1999
ISBN (شابک) : 0792357205
ویرایش : [1st ed.]
سری : Trends in Logic 6
تعداد صفحات : 244
حجم : 1 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان