№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) |
Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин |
|
2012 |
Фреге, Готтлоб (доктор философии ; 1848—1925) |
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ |
|
2013 |
Шевелев, Юрий Павлович (кандидат технических наук) |
Сборник задач по дискретной математике : (для практических занятий в группах) : учебное пособие для студентов, обучающихся по направлению подготовки бакалавров 010400.62 "Прикладная математика и информатика" / Ю. П. Шевелев, Л. А. Писаренко, М. Ю. Шевелев |
|
2015 |
Бирюков, Борис Владимирович (доктор философских наук ; 1922—2014) |
Проблема логического обоснования дедуктивно-математического знания от Античности до XX века : логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова |
|
2016 |
Зайнетдинов, Дамир Хабирович |
Предельно монотонная сводимость и ее структурные свойства : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Зайнетдинов Дамир Хабирович ; [Казанский (Приволжский) федеральный университет] |
|
2017 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Апология математики : [сборник статей] / Владимир Андреевич Успенский |
|
2022 |
Антипенко, Леонид Григорьевич (кандидат философских наук ; род. 1935) |
Проблема неполноты математической теории и онтологические предпосылки ее решения / Л. Г. Антипенко |
|
2022 |
Хинтикка, Яакко Юхани (философия ; логика ; род. 1929) |
Принципы математики : новый взгляд / Яакко Хинтикка. Революция в логике? / Я. Хинтикка, Г. Санду ; [перевод с английского В. В. Целищева] |
|
2009 |
Тарасенко, Владислав Валерьевич (кандидат философских наук ; род. 1970) |
Фрактальная логика / В. В. Тарасенко ; предисловие С. П. Капицы ; Российская академия наук, Институт философии |
|
2010 |
Гейтинг, Аренд (математик ; 1898—1980) |
Интуиционизм : введение / А. Гейтинг ; перевод с английского В. А. Янкова ; под редакцией А. А. Маркова |
|
1997 |
Балдин, Евгений Владимирович |
Традиционная логика и канторовская диагональная процедура / Отв.ред.Зайцев Е.А.; Ин-т истории естествознания и техники им.С.И.Вавилова (РАН) |
|
2012 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Апология математики : [сборник статей] / Владимир Успенский |
|
2013 |
Михайлова, Наталия Викторовна (кандидат философских наук ; математик) |
Философско-методологический анализ проблемы обоснования современной математики : монография / Н. В. Михайлова ; Министерство образования Республики Беларусь, Учреждение образования "Минский государственный высший радиотехнический колледж" |
|
2015 |
Фреге, Готтлоб (доктор философии ; 1848—1925) |
Логика и логическая семантика / Г. Фреге ; перевод с немецкого, вступительная статья, введение и послесловие Б. В. Бирюкова ; под редакцией З. А. Кузичевой ; комментарии Б. В. Бирюкова, З. А. Кузичевой ; Русская ассоциация чтения, Межвузовский центр исследования информационной культуры РФ |
|
2023 |
Целищев, Виталий Валентинович (доктор философских наук ; род. 1942) |
Алгоритмический ум = Algorithmic mind : ментализм vs механизм в философии математики / В. В. Целищев |
|
2009 |
Михайлова, Наталия Викторовна (кандидат философских наук ; математик) |
Философско-методологические основания постгёделевской математики : монография / Н. В. Михайлова ; Министерство образования Республики Беларусь, Учреждение образования "Минский государственный высший радиотехнический колледж" |
|
2014 |
Хинтикка, Яакко Юхани (философия ; логика ; род. 1929) |
О Геделе / Яакко Хинтикка. Статьи / Курт Гедель ; составление, редакция и перевод В. В. Целищева и В. А. Суровцева |
|
2015 |
Хинтикка, Яакко Юхани (философия ; логика ; род. 1929) |
О Гёделе / Яакко Хинтикка. Статьи / Курт Гёдель ; составление, редакция и перевод В. В. Целищева, В. А. Суровцева |
|
2006 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [краткое и ясное излож. предмета] / В. Босс. — Т. 6: От Диофанта до Тьюринга |
|
2015 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [краткое и ясное изложение предмета : учебное пособие] / В. Босс. — Т. 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя |
|
2022 |
Попов, Александр Иванович (кандидат физико-математических наук ; доктор исторических наук ; 1899—1973) |
Введение в математическую логику / А. И. Попов |
|
2009 |
Чесноков, Сергей Валерианович |
Феноменология диалогов в гештальт-теории, математике, логике / С. В. Чесноков |
|
2012 |
Ершов, Юрий Леонидович (доктор физико-математических наук ; род. 1940) |
Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев ; научные редакторы: К. Ф. Самохвалов, А. С. Морозов ; Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева, Институт философии и права |
|
2014 |
Доксиадис, Апостолос (род. 1953) |
Логикомикс : [поиски истины : перевод с английского] / Апостолос Доксиадис, Христос Х. Пападимитриу ; шрифты и рисунки А. Пападатос ; колорист Анни ди Донна |
|
2016 |
Horsten, Leon |
Gödel's disjunction : the scope and limits of mathematical knowledge / Leon Horsten, Philip Welch |
|
2021 |
Целищев, Виталий Валентинович (доктор философских наук ; род. 1942) |
Философия математики на переломе тысячелетий : смена парадигмы / В. В. Целищев |
|
2008 |
Клини, Стивен Коул (1909—1994) |
Математическая логика = Mathematical logic : перевод с английского / С. К. Клини ; перевод с английского Ю. А. Гастева ; под редакцией Г. Е. Минца ; предисловие Ю.А. Гастева, Г. Е. Минца |
|
2006 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [учебное пособие] / В. Босс. — Т. 6: От Диофанта до Тьюринга |
|
2009 |
Клини, Стивен Коул (1909—1994) |
Введение в метаматематику / С. К. Клини ; перевод с английского А. С. Есенина-Вольпина ; под редакцией В. А. Успенского |
|
2020 |
Трубников, Юрий Валентинович (доктор физико-математических наук ; род. 1946) |
Методология математических исследований : методические рекомендации / Ю. В. Трубников, М. Н. Подоксёнов, М. М. Чернявский ; Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра геометрии и математического анализа |