"Matematinė logika" - tai pirmasis matematinės logikos vadovėlis lietuvių kalba. Jame pakankamai nuosekliai išdėstytos pagrindinės matematinės logikos temos ir aprašyti kai kurie dirbtinio intelekto metodai. Nagrinėjama pirmosios eilės logika, rekursyviosios funkcijos bei modalumo logikos. Pateikiamos pagrindinės sąvokos, daug rezultatų paaiškinta konkrečiais pavyzdžiais.

Šis vadovėlis "Matematinė logika" skirtas informatikos, programų sistemų bei matematikos specialybių studentams. Rašantiems kursinius, bakalauro bei magistro darbus studentams labai pravers vadovėlio pabaigoje pateikiamas kai kurių matematinės logikos terminų lietuvių-anglų kalbų žodynėlis.