To nowoczesny podręcznik do logiki, łączący teoretyczne, opisowe podejście do problematyki logicznej z ujęciem praktycznym i ćwiczeniami. Autor omawia rachunki zdań, kwantyfikatorów i relacji, problemy wnioskowania i definiowania, podstawy teorii języka.