Основания математики. Математическая логика

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика >

Исследование логических систем

Автор: [автор не указан]
Год: 1970
Издание: Наука
Страниц: 332
ISBN: [не указан]
В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С.А.Яновской, памяти которой посвящен данный сборник. В статье рассматривается соотношение математической строгости и критерия практики в творческом развитии математики.
Добавлено: 2013-06-17 18:05:03

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы