Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


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

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>A=Новиков, Петр Сергеевич$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   22.15
   Н 73

    Новиков, Петр Сергеевич.
    Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, Главная редакция физико-математической литературы, 1977. - 328 с. - (Математическая логика и основания математики). - Библиогр. : с. 318-320. - 1.43 р.
ББК 22.15
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОНСТРУКТИВНАЯ ЛОГИКА -- ТЕОРЕМА ГЛИВЕНКО -- D-ИСЧИСЛЕНИЯ -- ТЕОРЕМА ГЕДЕЛЯ -- ЛОГИКА ВЫСКАЗЫВАНИЯ -- ФОРМАЛЬНАЯ АРИФМЕТИКА

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
2.
   22.12
   Н 73

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

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)