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. E könyv célja megfelelő segédanyagot biztosítani a logikát tanulmányozni kívánó informatikus egyetemi hallgatók és szakemberek számára, valamint alapot adni a logika további fejezeteiben való elmélyedéshez.