Tai pataisytas ir naujais skyriais papildytas vadovėlio „Matematinė logika“ (TEV, 2004) leidimas. Vadovėlyje išdėstyti pagrindiniai matematinės logikos skyriai, logikos dėsnių taikymai mąstymo modeliavimui kompiuteriu, t.y. dirbtiniam intelektui. Be kitų, knygoje nagrinėjamos šios pagrindinės temos: destruktyvioji (žinių vaizdavimo) logika, laiko logikos ir jų taikymai planavimo uždaviniams, deduktyviosios duomenų bazės, modalumo logikos. Vadovėlis skirtas aukštųjų mokyklų informatikos, programų sistemų, bioinformatikos ir matematikos specialybių studentams.