Язык:

Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07

Бирюков, Александр Викторович

Хранится в Русский книжный фонд (Моск. пр.) (А99/6535 )(обновляем...)

Заглавие:
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07
Шифр хранения: А99/6535
Описание: Бирюков А. В. Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : Автореф. дис. на соиск. учен. степ. к.филос.н. : Спец. 09.00.07 / Бирюков Александр Викторович ; С.-Петерб. гос. ун-т. - СПб., 1999. - 20 с. : ил. ; 21 см.
Автор: Бирюков, Александр Викторович
Язык: Русский
Ключевые слова: Философские науки
Системный номер: NLR01 000303270

Ссылки

Назад к списку результатов