Az egyetemi tankönyvként is szolgáló kötet a matematikai logikába és annak számítástudományi alkalmazásaiba vezeti be az olvasót.
Mára a logika a számítástudomány anyanyelvévé vált, ezért e terület alapos ismerete nagyon fontos, sőt nélkülözhetetlen az informatikusok számára. Könyvünk célja, hogy megfelelő segédanyagot biztosítson a logika tanulmányozásához és megadja az alapot a logika további fejezeteiben való elmélyedéshez.
A matematikai logikába való bevezetés után bemutatja a logika számítástudományi alkalmazásait, elsősorban az automatikus tételbizonyítás módszereire koncentrálva. A feldolgozott témakörök korszerűek, megfelelő igényességgel mutatják be a témakör elméleti hátterét, ugyanakkor az informatikai, számítástudományi alkalmazások is kellő hangsúlyt kapnak.
A sok példa és ábra, valamint a közérthető szöveg nagy mértékben segíti az olvasót a téma megismerésében.