Э.Мендельсон. Введение в математическую логику. 1984 г
Дата обновления: 14.09.2023 08:16
Цена30 руб. | Город Минск |
Оплата: | Наличными при встрече. |
---|---|
Доставка: | Самовывоз, Отправка почтой. |
Состояние: Как новое.
Э.Мендельсон. Введение в математическую логику. М.Наука. 1984г. 320с.
В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.