Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: <.>A=Новиков, Петр Сергеевич$<.>

Общее количество найденных документов : 1

22.1
Н 73

Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. : ил. - (Математическая логика и основания математики). - 1.43 р.

ББК 22.1
Рубрики: Математическая логика
Кл.слова (ненормированные):
классическая логика -- конструктивная логика -- исчисление предикатов -- формализованная арифметика

Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)