خرید و دانلود نسخه کامل کتاب Formalized Recursive Functionals and Formalized Realizability

عملکردهای بازگشتی رسمی شده و قابلیت تحقق پذیری رسمی

Formalized Recursive Functionals and Formalized Realizability

نویسنده: Stephen C. Kleene

ناشر: American Mathematical Society

سال انتشار: 1969

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

زبان: English

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

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