Knjiga je nastala kao monografija te je samim time sadržavala dijelove izvornog znanstvenog doprinosa. To se prije svega odnosi na dio o algoritmu eliminacije reza te dio o teoremima Craiga, Betha i Herbranda koji su u udžbeničkoj varijanti zadržani još iz autorovog istraživanja iz doktorske disertacije. Navedeni dijelovi u potpunosti su izvorni rezultati autora i zadržani su i u drugom, proširenom izdanju. Već poznati problemi propozicijske (iskazne) logike te logike prvog reda (predikatne ili priročne logike) prošireni su i povezani s problemima logike drugog reda te matematičke i računarske logike. Time se jednostavniji, klasični pristupi povezuju s kompleksnijim logičkim sustavima u skladu s već postignutim saznanjima i rezultatima unutar područja logike.

Više o udžbeničkoj varijanti prenosimo iz predgovora: "Knjiga Logika i dokazi je inicijalno trebala biti monografija, no kako je svaka publikacija “živa”, tako je i ova knjiga krenula živjeti neki svoj život, i počela se koristiti kao udžbenik na visokim učilistima. Kako moderna tehnika omogućava brzo uređivanje i tisak na zahtjev, odlučili smo poduprijeti
našu mladu knjigu na njenom putu da postane udžbenik. U tu svrhu je napravljeno nekoliko krupnih dorada: (a) na zahtjev studenata smo na više mjesta dodali upute na dodatnu literaturu gdje se mogu naći detalji koje smo izvorno preskočili radi pojednostavljenja ekspozicije, (b) neki dijelovi od posebnog interesa su prošireni i dodane su ilustracije, (c) dodana su dva nova poglavlja, za koja se nadamo da lijepo zaokružuju knjigu, i (d) razne greške (sitne i manje sitne) su ispravljene."