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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Доказательства (математика)<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   517
   Д 721


    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; ред. Г. Е. Минц. - Москва : Едиториал УРСС, 2003. - 544 с. - ISBN 5-354-00387-3. - ISBN 5-354-00387-3 : 319.00 р., 180.00 р., 319.00 р.
УДК
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Доказательства (математика) -- Интуиционизм


Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 4
Х (1), АБН (3)
Свободны: Х (1), АБН (3)
Найти похожие
2.
   51
   П 275


    Перминов, Василий Яковлевич.
    Развитие представлений о надежности математического доказательства / В. Я. Перминов. - Москва : Издательство Московского университета, 1986. - 239, [1] с. - (Диалектический материализм). - Библиогр.: с. 232-239. - 1 р.
ГРНТИ
УДК
Рубрики: Математика--Философские вопросы математики--Методология математики
Кл.слова (ненормированные):
математика (философские проблемы) -- доказательства (математика)

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