Элементы математической логики/Новиков, Петр Сергеевич.

 

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

Оценок: 0

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

УДК
510.6

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

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

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