Väike Tõestaja

„Väike Tõestusraamat“ tutvustab induktiivseid tõestusi kui viisi arvutiprogrammide kohta käivate faktide kindlakstegemiseks. See on kirjutatud ligipääsetavas ja kaasahaaravas küsimuste-vastuste stiilis ning raamatule „Väike Schemer“ (neljas trükk, MIT Press) iseloomuliku huumoriga. Mõnikord on parim viis millegi õppimiseks maha istuda ja seda teha; raamat juhatab lugejaid samm-sammult näidete kaudu, mis näitavad, kuidas kirjutada induktiivseid tõestusi. „Väike Tõestusraamat“ eeldab ainult rekursiivsete programmide ja loenditega seotud teadmisi (nagu on esitatud raamatu „Väike Schemer“ kolmes esimeses peatükis) ning kasutab lisaks algajatele programmeerijatele juba tuttavale vaid mõnda terminit. Raamatuga on kaasas lihtne tõestusabiline, mis aitab lugejatel raamatut läbi töötada ja igale näitele lahendusi leida.