خرید و دانلود نسخه کامل کتاب Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

سیستمهای رسمی و کارکردهای بازگشتی: مجموعه مقالات هشتمین کلکسیون منطق ، آکسفورد ، ژوئیه 1963

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

نویسنده: John N. Crossley, Michael Dummett (editors)

ناشر: North-Holland Publishing Company

سال انتشار: 1965

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

زبان: English

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

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