-
H. Jerome Keisler
Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read
دانلود کتاب Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers
by H. Jerome Keisler|
|
عنوان فارسی: نظریه مدل برای منطق بی نهایت: منطق با ربط های قابل شمارش و کمیت سازهای محدود |
دانلود کتاب
جزییات کتاب
This book grew out of a Survey Lecture given to the Association for Symbolic Logic meeting in January 1969 and is based on a course at the University of Wisconsin in the spring of 1969. It is planned both as a textbook for an advanced graduate course and as a reference for research work in mathematical logic.
We have written for the reader who already has a thorough knowledge of ‘classical’ model theory, that is, model theory for the usual first order predicate logic. The necessary background is given in the book MODEL THEORY by C. C. Chang and H. J. Keisler.
We have written for the reader who already has a thorough knowledge of ‘classical’ model theory, that is, model theory for the usual first order predicate logic. The necessary background is given in the book MODEL THEORY by C. C. Chang and H. J. Keisler.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
Adding comments has been disabled.
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
