УДК: 510.6 ББК: В12
Введение в математическую логику.
Мендельсон Эллиот
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Математична логіка
15.03.1981 -- М. : Наука. Гл. ред. физ.-мат. лит.
Книга
Наукове видання
Шифр:517
Авторський
знак:М50
Мова:rus
Відомості про відповідальність :
Пер. с англ. Ф.А. Кабакова; Под ред. С.И. Адяна
Відомості про видання : 3-е изд.
Перекладач : Кабаков
Ф. А.
Мова оригіналу : eng
В книге сравнительно
небольшого объема освещается широкий круг вопросов. В ней
излагаются следующие темы: логика высказываний и логика
предикатов, элементарные теории, формализованная арифметика,
аксиоматическая теория множеств, теория алгоритмов. Изл
ожению присуща ясность, простота и локаничность.
Значительная роль в книге отведена упражнениям, куда
вынесена часть материала, используемого в основном тексте.
Настоящее издание не отличается от предыдущего (1976г.).
Для преподавателей математическ их факультетов
университетов и пединститутов. Полезна
студентам-математикам, желающим систематически изучать
математическую логику.
Дата внесення :
15.03.1981
Переглядів: 0
Популярність: 0%
