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

Бирюков, Александр Викторович.
Экспресс-заказ фрагмента
Бирюков, Александр Викторович.
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : диссертация ... кандидата философских наук : 09.00.07. - Санкт-Петербург, 1999. - 215 с.

Логика
Шифр хранения:
OD 61 99-9/370-8

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеГенценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : диссертация ... кандидата философских наук : 09.00.07
Коллекции ЕЭК РГБ Каталог диссертаций
Коллекции ЭБ Диссертации
Дата поступления в ЕЭК 14.12.1999
Дата поступления в ЭБ 30.05.2003
Каталоги Диссертации
Выходные данныеСанкт-Петербург, 1999
Физическое описание215 с.
ТемаЛогика
BBK-кодЮ482:В1,0
Специальность09.00.07: Логика
ЯзыкРусский
Места храненияOD 61 99-9/370-8
Электронный адрес Электронный ресурс