Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=логические исчисления<.>)

Общее количество найденных документов : 1

Ар13-14561

Боков, Г. В.
Условия выразимости и полноты пропозициональных исчислений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Г. В. Боков. - М., 2013. - 18 с. - Библиогр.: с. 17-18 (9 назв.)
В надзаг.: ФГБОУ ВПО МГУ им. М.В.

ГРНТИ	27.03.19
УДК	510.625(043)

Кл.слова (ненормированные):
логические исчисления -- математическая логика

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

Статистика обращений

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