| № | Дата |
Автор |
Заглавие |
|---|
|
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) |
Интуиция и математика / В. Босс |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ