Введение в математическую логику/Мендельсон, Эллиот.

 

QR-код документа

Оценок: 0

510 М 501
Мендельсон, Эллиот.
    Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.

УДК
510

Рубрики: математическая логика

Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\

Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)

Авторизуйтесь для получения дополнительных услуг