محدود حساب شده ، منطق پیشنهادی و نظریه پیچیدگی (دائره المعارف ریاضیات و کاربردهای آن)
Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)
نویسنده: Jan Krajicek
ناشر: Cambridge University Press
سال انتشار: 1995
تعداد صفحات: 359
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت