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