دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Elements of Mathematical Logic (Model Theory)
دانلود کتاب عناصر منطق ریاضی (نظریه مدل)
مشخصات کتاب
Elements of Mathematical Logic (Model Theory)
ویرایش:
نویسندگان: G. Kreisel and J.L. Krivine (Eds.)
سری: Studies in Logic and the Foundations of Mathematics 48
ISBN (شابک) : 9780444534125
ناشر: Elsevier Science
سال نشر: 1967
تعداد صفحات: iii-vii, 1-222
[227]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Elements of Mathematical Logic (Model Theory) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب عناصر منطق ریاضی (نظریه مدل) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Content:
Edited by
Page iii
Copyright page
Page v
Preface
Pages v-vii
G. Kreisel
Chapter 0 Preliminaries Original Research Article
Pages 1-3
Chapter 1 Propositional Calculus Original Research Article
Pages 4-14
Chapter 2 Predicate Calculus Original Research Article
Pages 15-33
Chapter 3 Predicate Calculus with Equality Original Research Article
Pages 34-48
Chapter 4 The Elimination of Quantifiers Original Research Article
Pages 49-79
Chapter 5 Predicate Calculus with Several Types of Objects: The Hierarchy of Finite Types Original Research Article
Pages 80-114
Chapter 6 Definability Original Research Article
Pages 115-135
Chapter 7 Principal Models: Models of Infinite Formulas Original Research Article
Pages 136-153
Appendix I The Axiomatic Method Original Research Article
Pages 154-159
Appendix II Foundations of Mathematics Original Research Article
Pages 160-164
Part A Set Theoretic Semantic Foundations Original Research Article
Pages 165-194
Part B Combinatorial Foundations Original Research Article
Pages 195-221
Part C Semantic Versus Syntactic (Combinatorial) Introduction to Mathematical Logic Original Research Article
Page 222
