Sadržaj ove knjige uglavnom se podudara s programom kolegija Matematička logika koji autor već dvadesetak godina predaje na Matematičkom odjelu PMF-a u Zagrebu. Osnovne teme udžbenika su klasična logika sudova i logika predikata. Dane su osnovne definicije i rezultati o intucionističkoj i modalnoj propozicionalnoj logici. Udžbenik je prije svega namijenjen studentima matematike, a smatramo da može poslužiti i studentima računarstva i studentima filozofskih fakulteta. Knjiga će svakako zanimati sve one koji žele dublje proniknuti u osnove matematike, ili žele svoje prije stečeno znanje osvježiti današnjim pristupom matematičkoj logici.