دانلود کتاب An Introduction To Metalogic – مقدمه ای بر متالوژیک

توضیحات

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.

————————————————————–

ترجمه ماشینی :

مقدمه ای بر متالوژیک مقدمه ای منحصر به فرد برای فرانظریه منطق محمولی مرتبه اول است. هیچ دانش پیش زمینه ای از منطق پیش فرض نیست، زیرا کتاب کاملاً مستقل است و به وضوح تمام اصطلاحات فنی را که به کار می برد تعریف می کند. یعقوب با مقدمه‌ای برای منطق محمول شروع می‌کند و با طرح‌های مفصلی از برهان‌های قضایای ناقص بودن، قطع‌ناپذیری و تعریف‌ناپذیری به پایان می‌رسد و بسیاری از موضوعات مرتبط را در این بین پوشش می‌دهد.

tag : دانلود کتاب مقدمه ای بر متالوژیک , Download مقدمه ای بر متالوژیک , دانلود مقدمه ای بر متالوژیک , Download An Introduction To Metalogic Book , مقدمه ای بر متالوژیک دانلود , buy مقدمه ای بر متالوژیک , خرید کتاب مقدمه ای بر متالوژیک , دانلود کتاب An Introduction To Metalogic , کتاب An Introduction To Metalogic , دانلود An Introduction To Metalogic , خرید An Introduction To Metalogic , خرید کتاب An Introduction To Metalogic ,