مشخصات کتاب

A Course in Mathematical Logic for Mathematicians

ویرایش: [2 ed.] 
نویسندگان: Yu. I. Manin  
سری: Graduate Texts in Mathematics 53 
ISBN (شابک) : 1441906142, 9781441906151 
ناشر: Springer 
سال نشر: 2010 
تعداد صفحات: 384
[385] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

در صورت تبدیل فایل کتاب A Course in Mathematical Logic for Mathematicians به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب دوره ای در منطق ریاضی برای ریاضیدانان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages 1-14
Front Matter....Pages 1-1
Introduction to Formal Languages....Pages 3-18
Truth and Deducibility....Pages 19-103
The Continuum Problem and Forcing....Pages 105-150
The Continuum Problem and Constructible Sets....Pages 151-175
Front Matter....Pages 178-178
Recursive Functions and Church’s Thesis....Pages 179-206
Diophantine Sets and Algorithmic Undecidability....Pages 207-231
Front Matter....Pages 234-234
Gödel’s Incompleteness Theorem....Pages 235-261
Recursive Groups....Pages 263-284
Constructive Universe and Computation....Pages 285-327
Front Matter....Pages 330-330
Model Theory....Pages 331-377
Back Matter....Pages 1-6

نظرات کاربران

کتاب های تصادفی

دانلود کتاب MultiMedia Modeling: 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I

دانلود کتاب Theory of Nucleus: Nuclear Structure and Nuclear Interaction

دانلود کتاب Complete Works of George du Maurier

دانلود کتاب Ірраціональний аспект реклами

دانلود کتاب I Before E (Except After C): Cool Ways to Remember Stuff