دانلود کتاب A Friendly Introduction to Mathematical Logic

Name: A Friendly Introduction to Mathematical Logic
Availability: InStock
Author: Christopher C. Leary
ISBN: 1942341075,9781942341079,9781942341321

by Christopher C. Leary, Lars Kristiansen

عنوان فارسی: معرفی دوستانه به منطق ریاضی
ناشر: Milne Library, SUNY Geneseo
سال: 2015
ویرایش: 2ed.
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 380-380
شابک: 1942341075,9781942341079,9781942341321
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 1.54 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises