Главная
Авторизация
Фамилия
Пароль
Регистрация
Библиотека института физики им. Л.В. Киренского СО РАН
Базы данных
Каталог книг и брошюр библиотеки ИФ СО РАН - результаты поиска
Вид поиска
Каталог книг и брошюр библиотеки ИФ СО РАН
Каталог журналов библиотеки ИФ СО РАН
Труды сотрудников ИФ СО РАН
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>A=Аракелян, Грант Бабкенович$<.>)
Общее количество найденных документов
:
1
1.
В1
А 79
Аракелян
,
Грант
Бабкенович
.
О доказательстве в математике (методологический анализ) / Г. Б.
Аракелян
; ред. С. А. Аветисян ; Акад наук АрмССР, Ин-т геол. наук, Ин-т философии и права. - Ереван : Изд-во АН АрмССР, 1979. - 116 с. - 0.95 р.
Содержание:
Проблема доказательства в содержательной математике
Истина и доказательство. Доказательство в формальной математике
Доказательство в системе унифицированной математики
Об эволюции понимания сущности математического доказательства
ГРНТИ
27.03.55
ББК
В128в
Держатели документа:
Библиотека Института физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Аветисян, С. А. \ред.\; Академия наук Армянской ССРИнститут философии и права Армянской ССР
Экземпляры всего:
1
КФ (1)
Свободны:
КФ (1)}
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Другие библиотеки
Центральная Научная Библиотека КНЦ СО РАН
Библиотека института биофизики
Библиотека института химии и химический технологии
Библиотека института вычислительного моделирования
Библиотека института леса
Библиотека СФУ
Краевая научная библиотека
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)