خرید و دانلود نسخه کامل کتاب Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

پیوست S1: اثبات سازگاری G¨ برای حساب (مکمل "لامبدا-حساب و ترکیبات، مقدمه")

Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

نویسنده: J. R. Hindley, J. P. Seldin

ناشر: Cambridge University Press

سال انتشار: 2011

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

زبان: English

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

حجم فایل: 420 کیلوبایت