№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Антонова, Ольга Аркадьевна |
Табличные методы в логике : Специалистам в обл. логики и философии, а также студентам и аспирантам филос. фак. / О.А.Антонова ; С.-Петерб. гос. ун-т |
|
1974 |
Дулуб, Татьяна Дмитриевна |
Факт в устной политической информации |
|
1998 |
Зеленогорский, Федор Александрович (философ ; 1839—1908) |
О методах исследования и доказательства : [Сборник / Сост. и примеч.: К.А.Томилин |
|
2006 |
|
Proof technology and computation : [proc. of the NATO advanced study inst. on proof technology a. computation, Marktoberdorf, Germany, 29 July - 10 Aug. 2003] / ed. by Helmut Schwichtenberg, Katharina Spies |
|
2010 |
Сидоренко, Евгений Александрович (доктор философских наук ; род. 1940) |
Логика. Парадоксы. Возможные миры : размышления о мышлении в девяти очерках / Е. А.Сидоренко |
|
2012 |
Сирис, Аркадий Зефирович (публицист ; популяризатор) |
Физика релятивистская и нерелятивистская физика в критическом свете геометрической физики атома и атомной физической геометрии, или Аргументы доказательства ложной истинности основания релятивистской физики и ограниченной истинности основания физики нерелятивистской : (Приложение 3 к монографии "Геометрическая физика атома и атомная физическая геометрия. Теоретические основы") / А. З. Сирис |
|
2015 |
Хинчин, Александр Яковлевич (математик ; 1894—1959) |
Великая теорема Ферма / А. Я. Хинчин |
|
1950 |
Градштейн, Израиль Соломонович (кандидат физико-математических наук ; 1899—1958) |
Прямая и обратная теоремы |
|
1954 |
Баранова, Ирина Владимировна (кандидат педагогических наук, математик ; 1917—2009) |
Задачи на доказательство по алгебре : Пособие для учителя |
|
2019 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Силлогистика ассерторическая и модальная : новые решения старых проблем / В. А. Светлов |
|
1993 |
Мухачев, Виктор Павлович |
Генценовские методы в логике : Автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.07 / Гос. С.-Петерб. ун-т |
|
1999 |
Орлов, Валерий Иванович (кандидат философских наук) |
Аргументация в предпринимательской деятельности: логико-теоретические основания и социокультурный статус : Автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.11 / Бел. гос. ун-т |
|
2003 |
Лепешко, Борис Михайлович (доктор исторических наук ; кандидат философских наук ; 1955—2023) |
Логические основы правовой практики / Б. М. Лепешко ; Учреждение образования "Брестский государственный университет им. А. С. Пушкина" |
|
2009 |
Черемных, Лариса Георгиевна |
Взаимодействие доказательственной математики и права в процессе рационализации культуры : автореферат диссертации на соискание ученой степени кандидата философских наук : 24.00.01 / Черемных Лариса Георгиевна ; [Институт проблем освоения Севера СО РАН] |
|
1998 |
Pollicott, Mark |
Dynamical systems and ergodic theory / Mark Pollicott, Michiko Yuri |
|
2005 |
Kreuzer, Martin |
Computational commutative algebra 2 / Martin Kreuzer, Lorenzo Robbiano |
|
2002 |
|
Proof and system-reliability : Proc. of the NATO advanced study inst. on proof a. system-reliability, Marktoberdorf, Germany 24 July-5 Aug. 2001 / Ed. by H.Schwichtenberg a. R.Steinbruggen |
|
1904 |
Масленников, Александр Васильевич (1862— ) |
Опыт медико-статистической разработки уголовно-судебного материала : (по данным Могилевского окружного суда) : диссертация на степень доктора медицины лекаря А. В. Масленникова |
|
2010 |
Кельберт, Марк Яковлевич |
Вероятность и статистика в примерах и задачах / М. Я. Кельберт, Ю. М. Сухов ; пер. с англ. В. Кноповой, Ю. Мишуры, Л. Сахно. — Т. 2: Марковские цепи как отправная точка теории случайных процессов и их приложения ; [перевод с английского Л. Сахно под редакцией Ю. Мишуры] |
|
2010 |
Гейтинг, Аренд (математик ; 1898—1980) |
Интуиционизм : введение / А. Гейтинг ; перевод с английского В. А. Янкова ; под редакцией А. А. Маркова |