Збірник містить ретельно відібраний і систематизований набір відомих і оригінальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Цей збірник можна використовувати як для проведення аудиторної роботи, так і для організації самостійної та індивідуальної роботи студентів. Для студентів університетів, інших вищих навчальних закладів і всіх, хто бажає здобути фундаментальні знання в галузі сучасної інформатики.