منطق ریاضی؛ تمرین ها و راه حل ها

این کتاب مجموعه‌ای رنگارنگ از مسائل منطق ریاضی کلاسیک را که از بیش از 30 سال تدریس انتخاب شده‌اند، گردآوری کرده است. فصل‌های اولیه با مسائلی از حوزه‌های پشتیبان، مانند نظریه مجموعه‌ها (ساختارهای فرافیلتر)، نظریه بازی با اطلاعات کامل (استراتژی‌ها)، اتوماتاها و نظریه بازگشت (تصمیم‌پذیری، قضایای کلاین) آغاز می‌شود. سپس این اثر به سمت منطق گزاره‌ای (فشردگی و کامل بودن، روش حل) پیش می‌رود و پس از آن منطق مرتبه اول، شامل حذف سور و بازی Ehrenfeucht-Frïssé؛ فراحاصل‌ضرب‌ها؛ و مثال‌هایی برای اصل‌مدار بودن و غیراصل‌مدار بودن مطرح می‌شود. بخش حساب، نظریه رابینسون، سیستم اصل‌مدار پئانو و قضایای ناتمامیت گودل را پوشش می‌دهد. در نهایت، کتاب به گراف‌های جهانی، مسابقات و قانون صفر و یک در منطق ریاضی می‌پردازد.