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

Базы данных


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

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>I=87.4/С50-733088<.>)
Общее количество найденных документов : 1
1.
   87.4
   С50

    Смирнов, Владимир Александрович.
    Формальный вывод и логические исчисления / В. А. Смирнов ; Академия наук СССР, Институт философии. - Москва : Наука, 1972. - 270, [1] с. - 0.67 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
рассуждение (лог.) -- логические системы -- логика предикатов -- предикаты (лог.)

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