دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
دانلود کتاب تعاریف استقرایی تکراری و زیر سیستم های تجزیه و تحلیل: مطالعات اخیر اثبات-نظری
مشخصات کتاب
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ویرایش: 1 نویسندگان: Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.) سری: Lecture Notes in Mathematics 897 ISBN (شابک) : 9783540111702, 9783540386490 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1981 تعداد صفحات: 388 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب تعاریف استقرایی تکراری و زیر سیستم های تجزیه و تحلیل: مطالعات اخیر اثبات-نظری: منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تعاریف استقرایی تکراری و زیر سیستم های تجزیه و تحلیل: مطالعات اخیر اثبات-نظری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Inductive definitions and subsystems of analysis....Pages 16-77
Proof theoretic equivalences between classical and constructive theories for analysis....Pages 78-142
Inductive definitions, constructive ordinals, and normal derivations....Pages 143-187
The Ω μ+1 -Rule....Pages 188-233
Ordinal analysis of ID ν ....Pages 234-260
Proof-theoretical analysis of ID ν by the method of local predicativity....Pages 261-357
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cooperative Security in the Asia-Pacific: The ASEAN Regional Forum
