Bu kitabı baştan sona çalışarak; tanımların, teoremlerin, kanıtların, problem çözmenin anlamını açmanıza yardım eden bir teknikler deposunu geliştirecek ve matematiği etkili biçimde yazacaksınız. Tüm önemli kanıt yöntemleri - dolaysız yöntem, durumlar, tümevarım, çelişki ve karşıt ters - betimlenmiştir. Baştan sona somut örnekler kullanılmıştır ve bölenler, Euclid Algoritması, modüler aritmetik, denklik bağıntıları ve fonksiyonların bire-birliği, örtenliği gibi birçok dersin ortak konuları hakkında çok bol beceriye sahip olacaksınız.