- Добавил: umkaS
- Дата: 12-10-2020, 14:43
- Комментариев: 0

Автор: Мендельсон Э.
Издательство: М.: Наука
Год: 1971
Cтраниц: 320
Формат: pdf
Размер: 13 мб
Язык: русский
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное.