Podręcznik jest przeznaczony dla studentów i doktorantów studiujących informatykę na uczelniach technicznych.
Wprowadzenie wyjaśniające czym jest logika zawarto w pierwszym rozdziale, natomiast pozostały materiał podzielono na cztery części.
Część pierwsza, obejmująca rozdziały od 2. do 6., jest prezentacją elementów teorii mnogości, algebr abstrakcyjnych i języków formalnych.
W części drugiej, obejmującej rozdziały od 7. do 10., omówiono rachunek zdań i kwantyfikatorów – ich składnię, semantykę oraz związane z nimi systemy dowodzenia oparte na sekwentach Gentzena i regule rezolucji.
Część trzecia ma charakter informacyjny. W rozdziałach 11. i 12. omówiono krótko inne systemy dowodzenia oraz dokonano przeglądu innych, nieklasycznych logik.
W części czwartej, obejmującej rozdziały 13. i 14., przedstawiono zastosowanie metod logiki do definiowania składni i semantyki języków programowania oraz klasyczną logikę programów Hoare’a służącą dowodzeniu poprawności programów.