Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ<.>)
Общее количество найденных документов : 1
1.
   517
   Н 731

    Новиков, Петр Сергеевич.
    Элементы математической логики / П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 1.43 р., 1.43 р.
ГРНТИ
27
УДК
517
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 09.07.2024
Число запросов 24019
Число посетителей 685
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)