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

 

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

Оценок: 0

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

УДК
510

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

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

Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)

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