Н 73 Новиков, Петр Сергеевич. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. : ил. - (Математическая логика и основания математики). - 1.43 р. Рубрики: Математическая логика Кл.слова (ненормированные): классическая логика -- конструктивная логика -- исчисление предикатов -- формализованная арифметика Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |