این‌ کتاب‌ دربر گیرنده‌ مطالب‌ زیر است‌: مبانی‌ ریاضی‌، منطق‌ ریاضی‌، نظریه‌ مجموعه‌ها، ساختارهای‌ جبری‌، جبر بول‌، گرافها و کاربردهای‌ آن‌ها نظیر: ترکیب‌ جملات‌ Polish ، زبانها، دستور زبانها، نظریه‌ fast-adders ، خطایابی‌ و اصلاح‌ کدها، نظریه‌ کلیدها و ماشینهای‌ دنباله‌ای‌، طراحی‌ منطقی‌ سیستم‌های‌ کامپیوتری‌ رقمی‌، تجزیه‌ و تحلیل‌ سینتاتیک‌، ردیابی‌ خطا، diagnosis ، مسائل‌ مسیرهای‌ مینیمم‌، هم‌ارزی‌ بین‌ گیرنده‌های‌ حالت‌ متناهی‌ و دستور زبانهای‌ منظم‌ و در نهایت‌ معرفی‌ یک‌ روش‌ موثر که‌ یک‌ ماشین‌ تورینگ‌ می‌تواند هر تابع‌ برگشتی‌ جزئی‌ را محاسبه‌ کند.