سیستم های رسمی و توابع بازگشتی
Formal systems and recursive functions
نویسنده: John N Crossley; Michael Dummett
ناشر: North-Holland, Elsevier Science
سال انتشار: 1965
تعداد صفحات: 321
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت