Адян Сергей Иванович
Алгебраист, специалист в области математической логики, теории алгоритмов и их приложений к алгебре, академик РАН
Произведения, которые редактировал автор
| № | Название | Год | Текст | Тип | Действия |
|---|---|---|---|---|---|
| 1. |
Введение в математическую логику Мендельсон Э. |
1984 |
|
Учебник | |
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств.
Категория знаний:
Математическая логика
|
|||||