Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Книги фонда НБ СГЮА - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=дедуктивная формализация теорий<.>)
Общее количество найденных документов : 1
1.
16
Л69


   
    Логический словарь: ДЕФОРТ [Текст] / под ред. А. А. Ивина, В. Н. Переверзева, В. В. Петрова. - М. : Мысль, 1994. - 268 с. : 26 схем. - Библиогр.: с. 265 . - ISBN 5-244-00680-0 : 15000.00 р.
УДК
ББК 87.4
Рубрики: Логика
   Справочные издания--Словари

Кл.слова (ненормированные):
логика -- термины -- понятия -- дедукция -- дедуктивная формализация теорий -- формализация
Аннотация: Словарь ДЕФОРТ представляет собой справочник, в котором рассматриваются наиболее употребительные логические термины, точно и доступно разъясняются основные понятия, принципы и методы современной логики. ДЕФОРТ является первым изданием такого рода как в России, так и за рубежом. Рассчитан на широкий круг читателей.

Держатели документа:
НБ СГАП

Доп.точки доступа:
Ивин, А. А. \ред.\; Переверзев, В. Н. \ред.\; Петров, В. В. \ред.\
Экземпляры всего: 1
б/о (1)
Свободны: б/о (1)
Найти похожие

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