Monografija "Logika i dokazi" namijenjena je studentima diplomskih i poslijediplomskih sveučilišnih studija filozofije, lingvistike, matematike i računarstva. Knjiga daje pregled logike od samih osnova, kroz koje želi razviti intuiciju potrebnu za kasnija poglavlja o teoriji dokaza, logici drugog reda i teoriji deskriptivne kompleksnosti.