| Найдено документов - 1 | Найти похожие: "Заглавие" = 'Бесконечность и теория поиска вывода' | Версия для печати |
Сортировать по:
1. Статья (мон.)
Полочный шифр: 87.152.33я43 - Б 532
Катречко, С. Л.
Бесконечность и теория поиска вывода / С. Л. Катречко ; комментарии А. Н. Кричевца
// Бесконечность в математике: философские и исторические аспекты. — Москва, 1997. — С. 190-198.
Бесконечность и теория поиска вывода / С. Л. Катречко ; комментарии А. Н. Кричевца
// Бесконечность в математике: философские и исторические аспекты. — Москва, 1997. — С. 190-198.
Подробнее
Авторы: Катречко С. Л.
Отраслевые рубрики: философские науки
Ключевые слова: бесконечность, доказательство, история науки, математика, математическая логика, поиск вывода, теория поиска вывода, философия, философия науки
Индексы ББК: 87я43, 22.1г
Представления: Формат MARC21