| № | Дата |
Автор |
Заглавие |
|---|
|
2003 |
Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) |
Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин |
|
1987 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Зачем и как мы доказываем в математике : беседы со старшеклассником / А. А. Столяр |
|
2007 |
|
Юридические основания достоверности доказательств / Московский государственный университет им. М. В. Ломоносова, Юридический факультет ; составил Н. А. Терновский ; под редакцией и с предисловием В. А. Томсинова |
|
1995 |
|
Логические исследования / РАН.Ин-т философии;Редкол.:Смирнов В.А.(отв.ред.) и др. Вып.3 |
|
1983 |
|
Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова |
|
2012 |
Дашков, Евгений Владимирович (кандидат физико-математических наук ; род. 1986) |
О пропозициональных исчислениях, представлющих понятие доказуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дашков Евгений Владимирович ; Московский государственный университет им. М. В. Ломоносова |
|
2010 |
Артамонова, Елена Александровна (кандидат юридических наук) |
Основы теории доказательств в современном уголовном судопроизводстве : учебное пособие для студентов высших и средних юридических образовательных учреждений / Е. А. Артамонова |
|
2017 |
|
Теоретические основы доказывания в уголовном судопроизводстве России : середина XIX ― начало XX века : хрестоматия / [составители: А. Ю. Астафьев, Ю. В. Астафьев] |
|
2017 |
Павлов, Владимир Александрович (информационные технологии) |
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Владимир Александрович ; [Санкт-Петербургский политехнический университет Петра Великого] |
|
2008 |
Аристотель (384—322 до н. э.) |
Политика. Метафизика. Аналитика : перевод с древнегреческого / Аристотель |
|
2000 |
|
Foundations of secure computation : [proceedings of the NATO advanced study institute on foundations of secure computation, Marktobersdorf, Germany, 27 July - 8 August, 1999] / ed. by Friedrich L. Bauer, Ralf Steinbrüggen |
|
2011 |
Гуршев, Игорь Глебович |
Возможный подход к доказательству теоремы Ферма / И. Г. Гуршев ; [в авторской редакции] |
|
2013 |
Колмогоров, Андрей Николаевич (доктор физико-математических наук, математик ; 1903—1987) |
Математическая логика : дополнительные главы : [учебное пособие для студентов математических специальностей вузов] / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова |
|
2007 |
Кожевников, Арист Александрович |
Сложность пропозициональных систем доказательств, оперирующих неравенствами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кожевников Арист Александрович ; Санкт-Петербургский государственный университет |
|
1995 |
|
Логические исследования = Logical investigations : [сборник статей / Российская академия наук, Институт философии]. — Вып. 3 / [Редкол.: В. А. Смирнов (отв. ред.) и др.] |
|
2005 |
Саранцев, Геннадий Иванович (доктор педагогических наук ; 1938—2019) |
Обучение математическим доказательствам и опровержениям в школе / Г.И.Саранцев |
|
2008 |
Треушников, Михаил Константинович (доктор юридических наук ; 1938—2021) |
Гражданский процесс: теория и практика / М. К. Треушников |
|
2012 |
Зубарев, Алексей Алексеевич |
Институт признания доказательств недопустимыми в уголовном процессе и правовые последствия его применения : монография / А. А. Зубарев |
|
2014 |
Калошина, Инна Павловна (доктор психологических наук) |
Большая теорема Ферма и психология творчества : [монография] / И. П. Калошина |
|
2015 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Интуиция и математика / В. Босс |
|
2017 |
Качалов, Виктор Иванович (доктор юридических наук) |
Теоретические основы доказывания при исполнении итоговых судебных решений в уголовном процессе России : монография / В. И. Качалов |
|
2006 |
Гладких, Юрий Григорьевич (кандидат философских наук ; 1938—1999) |
Логика без экзистенциальных предпосылок / Ю. Г. Гладких |
|
1997 |
Exner, George R. |
An accompaniment to higher mathematics |
|
2006 |
Ehrlich, Gunter |
Nachweisvermogen von Analysenverfahren : objektive Bewertung u. Ergebnisinterpretation / Gunter Ehrlich, Klaus Danzer |
|
2012 |
Шалина, Ольга Николаевна |
Критерии выбора методов обучения доказательству теорем курса геометрии основной школы : автореферат диссертации на соискание ученой степени кандидата педагогических наук : специальность 13.00.02 Теория и методика обучения и воспитания / Шалина Ольга Николаевна ; [Мордовский государственный педагогический институт им. М. Е. Евсевьева] |
|
2014 |
Боруленков, Юрий Петрович (кандидат юридических наук ; род. 1961) |
Юридическое познание (некоторые методологические, теоретические и праксеологические аспекты) : монография / Ю. П. Боруленков |
|
2006 |
Безлюдов, Олег Артурович (кандидат юридических наук ; род. 1954) |
Доказательства и доказывание: классическое учение и современность : [монография] / О.А. Безлюдов, В.О. Климова ; под ред. И.И. Басецкого |
|
2012 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Интуиция и математика / В. Босс |
|
2012 |
Жиряев, Александр Степанович (доктор юридических наук ; 1815—1856) |
Теория улик / А. С. Жиряев |
|
2015 |
Молчанов, Валерий Владимирович (доктор юридических наук) |
Основы теории доказательств в гражданском процессуальном праве : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Юриспруденция" и специальности "Юриспруденция" / В. В. Молчанов ; Московский государственный университет им. М. В. Ломоносова, Юридический факультет |
|
2021 |
Колмаков, Евгений Александрович |
Предикаты доказуемости и связанные с ними алгебры : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович ; Московский государственный университет им. М. В. Ломоносова |
|
2008 |
Николенко, Сергей Игоревич (кандидат физико-математических наук ; род. 1984) |
Новые конструкции криптографических примитивов, основанные на полугруппах, группах и линейной алгебре : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Николенко Сергей Игоревич ; Санкт-Петербургский государственный университет |
|
2006 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [краткое и ясное излож. предмета] / В. Босс. — Т. 6: От Диофанта до Тьюринга |
|
2015 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [краткое и ясное изложение предмета : учебное пособие] / В. Босс. — Т. 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя |
|
2016 |
Уильз, Уильям (юрист) |
Опыт теории косвенных улик : признаки, обстоятельства, примеры : перевод с третьего английского изд. / У. Уильз ; предисловие А. М. Унковского |
|
2016 |
Stewart, Ian (матэматык ; пісьменнік ; нар. 1945) |
Algebraic number theory and Fermat's last theorem / Ian Stewart, David Tall |
|
2002 |
Успенский, Владимир Андреевич (доктор физико-математических наук, математика ; 1930—2018) |
Вводный курс математической логики : [Учеб. пособие] |
|
2009 |
Ицыксон, Дмитрий Михайлович (кандидат физико-математических наук) |
Сложность в среднем случае вероятностных вычислений с ограниченной ошибкой : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Ицыксон Дмитрий Михайлович ; Санкт-Петербургский государственный университет |
|
2009 |
Орлов, Юрий Кузьмич (доктор юридических наук ; род. 1937) |
Проблемы теории доказательств в уголовном процессе / Ю. К. Орлов |
|
2011 |
|
Юридические основания достоверности доказательств : [учебное пособие] / Московский государственный университет им. М. В. Ломоносова, Юридический факультет ; составил Н. А. Терновский ; под редакцией и с предисловием В. А. Томсинова |
|
2016 |
Опарин, Всеволод Владиславович |
Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Опарин Всеволод Владиславович ; [Санкт-Петербургский национальный исследовательский Академический университет Российской академии наук] |
|
2016 |
Horsten, Leon |
Gödel's disjunction : the scope and limits of mathematical knowledge / Leon Horsten, Philip Welch |
|
1968 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Как мы рассуждаем? / А. А. Столяр |
|
2005 |
Васюков, Владимир Леонидович (доктор философских наук ; род. 1948) |
Категорная логика / В.Л. Васюков ; Рос. акад. наук, Ин-т философии |
|
2004 |
Безлюдов, Олег Артурович (кандидат юридических наук ; род. 1954) |
Доказательства и доказывание: учение И.Я. Фойницкого и современность : монография / О.А. Безлюдов ; под ред. Басецкого И.И.; Акад. МВД |
|
2006 |
Опойцев, Валерий Иванович (доктор физико-математических наук, математик ; род. 1944) |
Лекции по математике : [учебное пособие] / В. Босс. — Т. 6: От Диофанта до Тьюринга |
|
2010 |
Коэн, Пол Джозеф |
Теория множеств и континуум-гипотеза / П. Дж. Коэн ; перевод с английского и заключительная статья А. С. Есенина-Вольпина |
|
2018 |
Смаллиан, Рэймонд (род. 1919) |
Вовеки неразрешимо : головоломное руководство по Геделю / Реймонд Смаллиан ; [перевод с английского П. И. Быстрова] |
|
2022 |
Ицыксон, Дмитрий Михайлович (кандидат физико-математических наук) |
Нижние оценки и вопросы оптимальности для систем доказательств : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Ицыксон Дмитрий Михайлович ; [Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ