№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) |
Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин |
|
2012 |
Дашков, Евгений Владимирович (кандидат физико-математических наук ; род. 1986) |
О пропозициональных исчислениях, представлющих понятие доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дашков Евгений Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2015 |
Бирюков, Борис Владимирович (доктор философских наук ; род. 1922) |
Проблема логического обоснования дедуктивно-математического знания от Античности до XX века : логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова |
|
2003 |
Михайлова, Наталия Викторовна (кандидат философских наук ; математик) |
Философско-методологические основания неклассической математики : дис.... канд. филос. наук / Михайлова Наталия Викторовна ; Респ. ин-т высш. шк |
|
2010 |
Гейтинг, Аренд (математик ; 1898—1980) |
Интуиционизм : введение / А. Гейтинг ; перевод с английского В. А. Янкова ; под редакцией А. А. Маркова |
|
2021 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Философия математики : основные программы обоснования математики ХХ столетия : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Социально-экономическое образование" / В. А. Светлов |
|
2006 |
Френкель, Абрахам А. (1891—1965) |
Основания теории множеств / А. А. Френкель, И. Бар-Хиллел ; перевод с английского Ю. А. Гастева ; под редакцией и со вступительной статьей А. С. Есенина-Вольпина |
|
2009 |
Михайлова, Наталия Викторовна (кандидат философских наук ; математик) |
Философско-методологические основания постгёделевской математики : монография / Н. В. Михайлова ; Министерство образования Республики Беларусь, Учреждение образования "Минский государственный высший радиотехнический колледж" |
|
2022 |
Шапиро, Стюарт (философ ; род. 1951) |
Философия математики / С. Шапиро ; [перевод с английского В. В. Целищева] |
|
1998 |
Клюшин, Ярослав Григорьевич (кандидат физико-математических наук) |
Полевое обобщение формулы для силы Лоренца / Я. Г. Клюшин |
|
2004 |
Щеглов, Виталий Николаевич (кандидат технических наук ; род. 1932) |
Творческое сознание : интуиционизм, алгоритмы и модели / В. Н. Щеглов |
|
2016 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Философия математики : основные программы обоснования математики XX столетия : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 540400 (050400) "Социально-экономическое образование" / В. А. Светлов |