مبانی منطقی ریاضیات و پیچیدگی محاسباتی: مقدمه ای ملایم
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
نویسنده: Pavel Pudlák (auth.)
ناشر: Springer International Publishing
سال انتشار: 2013
تعداد صفحات: 695 [699]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت