Upoznavanje sa logikom

U ovoj knjizi autor prvenstveno ima za cilj da, kako studentima tako i nastavnicima, pruži primenljivo znanje o iskaznom i predikatskom računu, koji predstavljaju osnovu moderne simboličke logike. U tom kontekstu razmatraju se konzistentnost i potpunost oba računa, konjunktivna i disjunktivna normalna forma, kao i elementarna teorija klasa.

Posebna vrednost ove knjige su enciklopedijski dodaci posvećeni modalnoj, polivalentnoj i deontičkoj logici i logičkim paradoksima, kao i glosar logičkih termina i bibliografija radova iz matematičke logike na srpskom jeziku.