М.: АН СССР, 1959. — 468 с.
Данный выпуск «Логических исследований» состоит из двух частей. В
первой части содержатся статьи по общим вопросам математической
(символической) логики, ее истории и отдельным приложениям; во
второй части помещены статьи, касающиеся разработки и практических
применений математической логики в связи с задачами математики и
техники.
Э. Кольман. Значение символической логики
Н. И. Стяжкин. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике
Н. И. Стяжкин. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний
B. В. Мшвениерадзе. О философской сущности «семантической концепции истины»
Б. М. Кедров. О числе отношений множеств (понятий)
Б. Г. Кузнецов. Об основах квантово-релятивистскои логики
А. А. Зиновьев. Логическое строение знаний о связях
B. C. Швырев. К вопросу о каузальной импликации
C. К. Шаумян. Логический анализ понятия фонемы
А. И. Уёмов. Пустые классы и аристотелева логика
А. Д. Гетманова. О соотношении логики и математики в системах типа Principia Mathematica
A. С. Есенин-Вольпин. Анализ потенциальной осуществимости
B. С. Чернявский. Об одном классе нормальных алгорифмов Маркова
Г. Н. Поваров. Логика и автоматизация
В. И. Шестаков. Моделирование операций исчисления высказываний посредством релейно-контактных схем
Н. Е. Кобринский, Б. А. Трахтенброт. О построении общей теории логических сетей
Г. Н. Поваров. Математико-логическоо исследование синтеза контактных схем с одним входом и $k$ выходами
Г. Н. Поваров. О логическом синтезе электронных вычислительных и управляющих схем
А. Д. Харкевич. О коммутационных схемах и их логической сущности
Б. М. Раков. Логический синтез схем релейного действия, содержащих сопротивления и контакты
A. Н. Юрасов. Аналитический синтез многотактных схем по формулам включения
B. Ф. Дьяченко, В. Г. Лазарев. Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем
Н. И. Стяжкин. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике
Н. И. Стяжкин. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний
B. В. Мшвениерадзе. О философской сущности «семантической концепции истины»
Б. М. Кедров. О числе отношений множеств (понятий)
Б. Г. Кузнецов. Об основах квантово-релятивистскои логики
А. А. Зиновьев. Логическое строение знаний о связях
B. C. Швырев. К вопросу о каузальной импликации
C. К. Шаумян. Логический анализ понятия фонемы
А. И. Уёмов. Пустые классы и аристотелева логика
А. Д. Гетманова. О соотношении логики и математики в системах типа Principia Mathematica
A. С. Есенин-Вольпин. Анализ потенциальной осуществимости
B. С. Чернявский. Об одном классе нормальных алгорифмов Маркова
Г. Н. Поваров. Логика и автоматизация
В. И. Шестаков. Моделирование операций исчисления высказываний посредством релейно-контактных схем
Н. Е. Кобринский, Б. А. Трахтенброт. О построении общей теории логических сетей
Г. Н. Поваров. Математико-логическоо исследование синтеза контактных схем с одним входом и $k$ выходами
Г. Н. Поваров. О логическом синтезе электронных вычислительных и управляющих схем
А. Д. Харкевич. О коммутационных схемах и их логической сущности
Б. М. Раков. Логический синтез схем релейного действия, содержащих сопротивления и контакты
A. Н. Юрасов. Аналитический синтез многотактных схем по формулам включения
B. Ф. Дьяченко, В. Г. Лазарев. Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем