М.: Державне видавництво політичної літератури, 1956. — 279 сторінок. У запропонованій для читачів книзі з формальної логіки перша глава написана Д. П. Горським, друга — В. Ф. Асмусом, третя — знову Д. П. Горським, четверта по сьому — П. В. Таванцом, восьма — Д. П. Горським, дев’ята — В. І. Шемпковською та П. В. Таванцом, десята й одинадцята — В. Ф. Глаголевим, дванадцята по п’ятнадцята — В. Ф. Асмусом, шістнадцята — Д. П. Горським. Науково-організаційна робота з підготовки книги виконана Є. І. Басовою. Ця книга не претендує на повне викладення формальної логіки. Не всі питання цієї галузі охоплені тут, не всі проблеми висвітлені з однаковою глибиною.