Исследование логических систем. отв. редактор П.В.Таванец.
1970, изд-во: Наука, город: М., стр. : 334 с., обложка: Издательский переплет, формат: Обычный, состояние: Идеальное. В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен данный сборник. В статье рассмативается соотношение математической строгости и критерия практики в творческом развитии математики.