Сборник статей. — М.: Академия наук СССР, 1960. — 560 с.
Сборник работ ведущих логиков по вопросам ее применения в различных отраслях науки и техники.
С. А. Яновская. О некоторых чертах развития математической логики и отношении ее к техническим приложениям.
А. С. Есенин-Вольпин. К обоснованию теории множеств.
И. И. Ревзин. Формальный и семантический анализ синтаксических связей в языке.
И. И. Ревзин. О логической форме линевистических определений.
С. К. Шаумян. Операционные определения и их применение в фонологии.
Ю. В. Петров. Значение аксиоматического метода в учении о направлениях изменений живых систем.
А. А. Зиновьев. Дедуктивный метод в исследовании высказываний о связях.
А. А. Зиновьев. К вопросу об общности высказываний о связях.
А. А. Зиновьев. Об одном варианте теории определений.
Г. Н. Поваров. О групповой инвариантности булевых функций.
В. И. Шестаков. О двойной арифметической интерпретации трехзначного исчисления в высказывании; используемой при моделировании этого исчисления посредством релейно-коммутаторных схем.
М. Л. Цетлин, Л. М. Шeхτман. О некоторых вопросах физической реализации устройств, выполняющих логические функции.
Т. Д. Майстрова. Применение многозначной логики в теории релейных схем.
Г. Н. Поваров. Событийный и сужденческий аспекты логики в связи с логическими задачами техники.
Б. М. Кедров. "Фазовый способ" в формальной логике.
Б. В. Бирюков. Теория смысла Готлоба Фреге.