Электронный каталог — Научная библиотека ДВФУ

База данных: Электронный каталог ДВФУ

Страница 1, Результатов: 2

Отмеченные записи: 0

Новиков, Петр Сергеевич. Элементы математической логики [Текст] / П. С. Новиков., 1959. - 400 c. с.

517 Н 73
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)

УДК

517

Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)

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

Краткое Полное

Новиков, Петр Сергеевич. Элементы математической логики [Текст] / П. С. Новиков., 1973. - 399 c. с.

Подробнее

510 Н 731
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 399 c. : ил. - (Математическая логика и основания математики)

УДК

510.6

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

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

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

Страница 1, Результатов: 2

Все поступления за

Или выберите интересующий месяц