| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>KL=ТЕОРИЯ КВАНТОРОВ<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 510/Т 33
Заглавие : Теория логического вывода : научное издание
Выходные данные : М.: Наука, 1973
Колич.характеристики :272 с.: граф., рис., табл.; 20 см
Коллективы : Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр.: с. 270
Цена : 0.76 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логическое следование--теория кванторов--логика классов--модальная логика--парадокс зенона--логические операции
Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)