Теория логического вывода.
Под редакцией Таванец П.В.

1973, изд-во: Наука, город: Москва, стр. : 272 стр., обложка: Мягкая издательская обложка., формат: Обычный., состояние: Отличное. . В книге помещены статьи по проблемам теории логического следования, в которых анализируются роль и место этой теории в современной логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений. Авторы критически анализируют имеющиеся в логической литературе исчисления по данным вопросам и предлагают для их решения свои оригинальные логические системы. Содержание: Е. А. Сидоренко, П. В. Таванец. Проблема логического следования в современной логике и философии, Е. А. Сидоренко. Общая теория логического следования, А. А. Зиновьев. Нетрадиционная теория кванторов, А. А. Зиновьев. Логика классов (множеств), A. А. Ивин. Модальная логика и теория импликации, Г. А. Кузнецов. Непрерывность и парадоксы Зенона «Ахиллес» и «Дихотомия», Г. А. Кузнецов. Формальное доказательство существования элементарной длины, Г. А. Кузнецов. Трактат о часах, С. М. Талышлы . К вопросу об обратных логических операциях, B. И. Порус. О некотором способе аналитического представления многозначных матриц, Х. А. Вессель. О логической экспликации терминов развития.