Matematinė logika

Tai pirmasis matematinės logikos vadovėlis lietuvių kalba. Jame 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 logika. Pateikiamos pagrindinės sąvokos, daug rezultatų aiškinama konkrečiais pavyzdžiais.