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

Базы данных


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

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=ФОРМАЛЬНАЯ АРИФМЕТИКА<.>)
Общее количество найденных документов : 1
1.
   22.15
   Н 73

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

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