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

Карточка

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

Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков : диссертация ... кандидата философских наук : 09.00.07. - Санкт-Петербург, 1999. - 215 с.
Логика
OD 61 99-9/370-8

Документ охраняется авторским правом. Полный текст доступен в РГБ и виртуальных читальных залах. Читать 

Marc21

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

Показать

Описание

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