Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Доказательств теория<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Колмогоров А. Н. Математическая логика/А. Н. Колмогоров, А. Г. Драгалин. - 2004
2.

Колмогоров А. Н. Математическая логика/А. Н. Колмогоров, А. Г. Драгалин. - 2005
3.

Успенский В. А. Вводный курс математической логики/В. А. Успенский, Н. К. Верещагин. - 2002
4.

Колмогоров А. Н. Математическая логика/А. Н. Колмогоров, А. Г. Драгалин. - 2006
5.

Козлов А.С. Актуальные проблемы теории доказательств в науке гражданского процесса/А. С. Козлов. - 1980
6.

Справочная книга по математической логике. Ч. 4:Теория доказательств и коструктивная математика/пер.: Г. В. Давыдов, Г. Е. Минц ; ред. В. П. Оревков. - 1982
7.

Такеути Г. Теория доказательств/Г. Такеути ; пер. с англ. С. К. Соболева под ред. С. И. Адяна. - 1978
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 20.07.2024
Число запросов 1871
Число посетителей 348
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)