ریاضیات معکوس: مسائل، کاهش ها و اثبات ها (نظریه و کاربردهای محاسبه پذیری)
Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)
نویسنده: Damir D. Dzhafarov, Carl Mummert
ناشر: Springer
سال انتشار: 2022
تعداد صفحات: 498
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت