TY  - BOOK
AU  - Бирюков,Борис Владимирович
AU  - Бирюкова,Любовь Гавриловна
TI  - Проблема логического обоснования дедуктивно-математического знания от античности до XX века: логико-математический и философский аспекты
SN  - 9785971009641
PY  - 2015///
CY  - Москва
PB  - Ленанд
KW  - математика
KW  - логико-математическое обоснование
KW  - бесконечность
KW  - теория пределов
KW  - арифметизация анализа
KW  - аксиоматические методы
KW  - теория множеств
KW  - логика как основание математики
KW  - знание дедуктивное
KW  - логико-философские исследования
KW  - философия математики
KW  - математические доказательства
KW  - логицизм
KW  - предикативизм
KW  - исчисление предикатов
KW  - финитизм
KW  - Гильберта программа обоснования математики
KW  - интуиционизм
KW  - вычислимость
KW  - теория алгоритмов
KW  - конструктивизм
KW  - логико-математическое знание, диалектика обоснования
N1  - Библиогр. в подстроч. примеч
ER  -