خرید و دانلود نسخه کامل کتاب Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

توابع بازگشتی و فرا ریاضیات: مسائل کامل بودن و تصمیم پذیری، قضایای گودل

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

نویسنده: Roman Murawski (auth.)

ناشر: Springer Netherlands

سال انتشار: 1999

تعداد صفحات: 402

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 13 مگابایت