- Заглавие:
Введение в математическую логику
- Автор:
Мендельсон Эллиот (1931-2020)
- Место издания:
Москва
- Издатель:
URSS
- Дата издания:
2010
- Объём:
319 с.
- Серия:
Физико-математическое наследие. Математика. Основания математики и логика
- Сведения о библиографии:
Библиогр.: с. 296-309
- ISBN:
978-5-397-01387-1
- Рубрики:
Математическая логика
- Язык текста:
Русский
Библиографический источник
Введение в математическую логику
[исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова