М.: Мир, 1968. Книга посвящена идейным и формальным аспектам
логики. Автор избрал внешне свободный стиль изложения и, не
углубляясь в технические детали, очень ярко выявил основные идеи
логики. Не приводя ни одного сложного и громоздкого доказательства,
он тем не менее нигде не ограничился общими описаниями. Приводится
набор задач, которые призваны привить вкус к самостоятельным
исследованиям.