دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results
دانلود کتاب منطق ریاضی و نظریه های رسمیت یافته. بررسی مفاهیم و نتایج اساسی
مشخصات کتاب
Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results
ویرایش:
نویسندگان: Robert L. Rogers (Auth.)
سری:
ISBN (شابک) : 9780720420982
ناشر: Elsevier B.V
سال نشر: 1971
تعداد صفحات: 240
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی و نظریه های رسمیت یافته. بررسی مفاهیم و نتایج اساسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Content:
Front Matter, Page iii
Copyright, Page iv
Dedication, Page v
PREFACE, Pages vii-viii
CHAPTER I - THE SENTENTIAL LOGIC, Pages 1-27
CHAPTER II - THE FIRST-ORDER PREDICATE LOGIC: I, Pages 28-51
CHAPTER III - THE FIRST-ORDER PREDICATE LOGIC: II, Pages 52-82
CHAPTER IV - THE SECOND-ORDER PREDICATE LOGIC. THEORY OF DEFINITION, Pages 83-106
CHAPTER V - THE NATURAL NUMBERS, Pages 107-126
CHAPTER VI - THE REAL NUMBERS, Pages 127-141
CHAPTER VII - AXIOMATIC SET THEORY, Pages 142-185
CHAPTER VIII - INCOMPLETENESS. UNDECIDABILITY, Pages 186-226
BIBLIOGRAPHY, Pages 227-229
AUTHOR INDEX, Pages 230-231
SUBJECT INDEX, Pages 232-235
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Universalising International Law (Developments in International Law, V. 48)
دانلود کتاب Aquinas and the Supreme Court: Biblical Narratives of Jews, Gentiles and Gender
دانلود کتاب Construirea sociala a realitatii
