Конструктивная математическая логика с точки зрения классической — Самарская областная универсальная научная библиотека

Новиков, Петр Сергеевич.

Конструктивная математическая логика с точки зрения классической [текст] / Новиков Петр Сергеевич - Москва : Наука, 1977. - 328 с., 1 л. ил. - (Математическая логика и основания математики). - Список лит.: с. 318-320; Указ. имен. и предм.: с. 323-328.

Автор: Новиков Петр Сергеевич

Основное заглавие: Конструктивная математическая логика с точки зрения классической

Физический носитель: текст

Год публикации: 1977

Место издания: Москва

Издательство: Наука

Объем: 328 с., 1 л. ил.

Серия: Математическая логика и основания математики

Ключевые слова: Математическая логика

ББК: 22.122+51:16

Библиография: Список лит.: с. 318-320; Указ. имен. и предм.: с. 323-328