-
Shawn Hedman
Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read
دانلود کتاب A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
by Shawn Hedman|
|
عنوان فارسی: اولین دوره در منطق: مقدمه ای بر نظریه مدل، نظریه اثبات، محاسبه پذیری و پیچیدگی |
دانلود کتاب
جزییات کتاب
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
Adding comments has been disabled.
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
