BOOKS - SCIENCE AND STUDY - Введение в математическую логику...
US $7.88
886496
886496
Введение в математическую логику
Author: Мендельсон Э.
Year: 1976 - 2-е изд., исправл.
Format: PDF
File size: 19 MB
Language: RU
Year: 1976 - 2-е изд., исправл.
Format: PDF
File size: 19 MB
Language: RU
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств.