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