Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

Ар12-19311

Дашков, Е. В.
О пропозициональных исчислениях, представляющих понятие доказуемости [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Е. В. Дашков. - М., 2012. - 15 с. - Библиогр.: с. 15 (3 назв.)
В надзаг.: МГУ им. М.В. Ломоносова

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

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

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

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

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

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