Катречко С. Л. Бесконечность и теория поиска вывода / Катречко С. Л.; комментарии А. Н. Кричевца // Бесконечность в математике: философские и исторические аспекты. - Москва, 1997. - С. 190-198.
Отраслевые рубрики: философские науки
Ключевые слова: бесконечность, доказательство, история науки, математика, математическая логика, поиск вывода, теория поиска вывода, философия, философия науки
87.152.33я43 испр. Б 532 Бесконечность в математике: философские и исторические аспекты / Крушинский А. А., Янков В. А., Бычков С. Н. и др.; под редакцией А. Г. Барабашева. - Москва: Янус-К, 1997. - 400 с. - ISBN 5-88929-039-8. [подробнее]
Блог Мишки Б.
