دانلود کتاب Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals
| عنوان فارسی | نقطه گودل در کجا پنهان شده است: اثبات سازگاری جنتزن در سال 1936 و نمایش او از ترتیبات سازنده |
|---|---|
| عنوان اصلی | Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals |
| ناشر | Springer |
| نویسنده | Horská, Anna |
| ISBN | 9783319021713, 3319021710 |
| سال نشر | 2014 |
| زبان | English |
| تعداد صفحات | 0 |
| فرمت کتاب | epub - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد