| № | Дата |
Автор |
Заглавие |
|---|
|
2008 |
Шиян, Тарас Александрович |
Структурные описания множеств формальных теорий : (на материале формальных силлогистик) : автореферат диссертации на соискание ученой степени кандидата философских наук : 09.00.07 / Шиян Тарас Александрович ; [Московский государственный университет им. М. В. Ломоносова] |
|
2006 |
Абачиев, Сергей Константинович (кандидат философских наук) |
Традиционная логика в современном освещении. Формальная логика как опытная наука : учебный курс / С. К. Абачиев ; Институт социально-экономического прогнозирования и моделирования |
|
2004 |
Абачиев, Сергей Константинович (кандидат философских наук) |
Эволюционная теория познания : опыт системат. построения / С.К. Абачиев ; отв. ред. В.П. Делия ; Ин-т соц.-экон. прогнозирования и моделирования |
|
1998 |
Грифцова, Ирина Николаевна |
Логика как теоретическая и практическая дисциплина : К вопр.о соотношении формал.и неформал.логики:[Моногр.] |
|
2000 |
Quine, Willard Van Orman (1908—2000) |
Z punktu widzenia logiki : dziewiec esejow logiczno-filozoficznych / Willard Van Orman Quine ; przelozyla: Barbara Stanosz |
|
2016 |
Яновская, Софья Александровна (доктор физико-математических наук ; 1896—1966) |
Логика и философия математики / С. А. Яновская ; под редакцией и с комментариями составителей Б. В. Бирюкова и З. А. Кузичевой |
|
2021 |
Туманов, Владимир Евгеньевич (кандидат химических наук) |
SQL для хранения, обработки и анализа данных / Владимир Туманов, Булат Гайфуллин |
|
2007 |
Бугайченко, Дмитрий Юрьевич |
Разработка и реализация методов формально-логической спецификации самонастраивающихся мультиагентных систем с временными органичениями : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Бугайченко Дмитрий Юрьевич ; [Санкт-Петербургский государственный университет] |
|
2003 |
|
Логические исследования / Рос. акад. наук. Ин-т философии; Редкол.: Карпенко А.С. (отв. ред.) и др. Вып. 10 |
|
2013 |
Бирюков, Борис Владимирович (доктор философских наук ; 1922—2014) |
Крушение метафизической концепции универсальности предметной области в логике : контроверза Фреге ― Шредер / Б. В. Бирюков |
|
2009 |
Галенок, Виктор Александрович (кандидат философских наук) |
Формальная логика для юристов : курс лекций / В. А. Галенок |
|
2010 |
Тренделенбург, Фридрих Адольф (философ ; 1802—1872) |
Логические исследования = Logische Untersuchungen : [в 2 ч.] / А. Тренделенбург ; перевод с немецкого Е. Ф. Корша. — Ч. 1 |
|
2000 |
Яхъяева, Гульнара Эркиповна |
Алгебры с нечеткими операциями : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Яхъева Гульнара Эркиповна ; [Алмат. гос. ун-т им. Абая] |
|
2008 |
Кудинов, Андрей Валерьевич (кандидат физико-математических наук) |
Топологические модальные логики с модальностью неравенства : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Кудинов Андрей Валерьевич ; Московский государственный университет им. М. В. Ломоносова |
|
1992 |
|
Логика и развитие научного знания : Межвуз.сб. / С.-Петербург.гос.ун-т ; Под ред.:И.Н.Бродского,Я.А.Слинина |
|
2006 |
Васюков, Владимир Леонидович (доктор философских наук ; род. 1948) |
Формальная онтология / В. Л. Васюков ; Российская академия наук, Институт философии |
|
2010 |
Коэн, Моррис Рафаэль (философ ; 1880—1947) |
Введение в логику и научный метод : [перевод с английского] / Моррис Р. Коэн, Эрнест Нагель |
|
2014 |
Бирюков, Борис Владимирович (доктор философских наук ; 1922—2014) |
Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика / Б. В. Бирюков ; Русская ассоциация чтения. — Кн. 1: Переломный период - при Сталине и после |
|
2017 |
Евдокимов, Сергей Васильевич (доктор химических наук) |
Логика в химии : монография / С. В. Евдокимов |
|
1999 |
Малахов, Валерий Петрович (доктор юридических наук ; кандидат философских наук) |
Основы формальной логики : Учеб.пособие для экономистов |
|
2004 |
Шуман, Андрей Николаевич (кандидат философских наук) |
Логика. Основы критического мышления : [Учеб. пособие] / Европ. гуманитар. ун-т |
|
1956 |
|
Логика / [Д. П. Горский и др. ; под редакцией Д. П. Горского, П. В. Таванца] ; Академия наук СССР, Институт философии |
|
1965 |
Столяр, Абрам Аронович (доктор педагогических наук ; 1919—1993) |
Элементарное введение в математическую логику : пособие для учителей / А. А. Столяр |
|
2012 |
Шамканов, Данияр Салкарбекович |
Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Шамканов Данияр Салкарбекович ; Московский государственный университет им. М. В. Ломоносова |
|
2012 |
Абачиев, Сергей Константинович (кандидат философских наук) |
Формальная логика с элементами теории познания : [учебник] для студентов ВПО, обучающихся по направлениям подготовки бакалавров 030000 "Гуманитарные науки" / С. К. Абачиев |
|
2014 |
Кравченко, Альберт Иванович (доктор социологических наук ; род. 1949) |
Формальная и научная логика : учебное пособие для вузов / А. И. Кравченко ; [редколлегия: В. И. Добреньков и др.] |
|
2014 |
Фридман, Марина Владиславовна (кандидат биологических наук ; род. 1965) |
Логика для биологов / М. В. Фридман, В. С. Фридман |
|
2023 |
Шеенсон, Игорь Самуилович (инженер-физик ; род. 1939) |
Три гипотезы о движении : о логике движения, теоремах Геделя и квантовой механике / И. С. Шеенсон |
|
1994 |
Суровцев, Валерий Александрович (доктор философских наук ; род. 1964) |
Онтологическое содержание формальной логики и способы философской концептуализации её темы : Автореф. дис. на соиск. учен. степ. канд. филос.наук : 09.00.01 / Том. гос. ун-т |
|
2003 |
|
Traditionelle und moderne Logik : Lothar Kreiser gewidmet / Herausgeber: Ingolf Max |
|
2008 |
Галенок, Виктор Александрович (кандидат философских наук) |
Формальная логика для юристов : курс лекций / В. А. Галенок |
|
2004 |
Коломоец, Федор Григорьевич (род. 1942) |
Основы методологии научных исследований. Рекомендации по проведению диссертационных исследований |
|
2009 |
Стрыгин, Владимир Захарович (математик) |
К методологическим особенностям матричной логики / В. З. Стрыгин |
|
2015 |
Галенок, Виктор Александрович (кандидат философских наук) |
Логика : учебное пособие для учащихся учреждений образования, реализующих образовательные программы среднего специального образования по специальности "Правоведение" / В. А. Галенок |
|
1967 |
Петров, Юрий Александрович (1957— ) |
Логические проблемы абстракций бесконечности и осуществимости / Ю. А. Петров ; Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика", Секция философских вопросов кибернетики |
|
1990 |
|
Методологическое значение требований формальной и диалектической логики для практики работы руководителей : Материал и метод. рекомендации к изучению темы для слушателей высш. партийн. шк. / Мин. высш. партийн. шк., Каф. марксист.-ленин. философии ; [Подгот. В.Д.Морозов] |
|
1998 |
Ziembinski, Zygmunt |
Logika praktyczna / Zygmunt Ziembinski ; Aneks: Kazimierz Swirydowicz |
|
1988 |
Rolston, D. W. |
Principles of Artificial Intelligence and Expert Systems Development |
|
2008 |
|
Многозначные логики и их применения : [сборник статей] / составители О. М. Аншаков, Д. В. Виноградов, В. К. Финн ; под редакцией В. К. Финна. — Т. 1: Логические исчисления, алгебры и функциональные свойства |
|
2019 |
Евдокимов, Сергей Васильевич (доктор химических наук) |
Логика в химии : монография / С. В. Евдокимов |
|
2006 |
Пономарев, Денис Константинович |
Синтаксическая однозначность при представлении знаний в логике первого порядка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Пономарёв Денис Константинович ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А. П. Ершова |
|
2008 |
Куайн, Уиллард Ван Орман (1908—2000) |
Философия логики = Phylosophy of logic / Уиллард Вэн Орман Куайн (W. V. O. Quine) ; перевод В. А. Суровцева |
|
2000 |
Шилин, Ким Иванович (доктор социологических наук ; кандидат философских наук ; род. 1934) |
Экософские начала социологии будущего : Первая энцикл.третьего тысячелетия / Науч.ред.Шефель С.В. Т.1 |
|
1966 |
"Диалектика и современное естествознание", симпозиум (1966 ; Москва) |
Материалы к симпозиуму "Диалектика и современное естествознание", Москва, 26―29 октября 1966 г. — Вып. 1: Общие проблемы диалектики и логики современного естествознания |
|
2015 |
Михалкин, Николай Васильевич (доктор философских наук ; род. 1948) |
Основы логики : учебник и практикум для СПО : для студентов образовательных учреждений среднего профессионального образования / Н. В. Михалкин ; Российский государственный университет правосудия |
|
2005 |
|
Символическая логика : учебник для студентов и аспирантов философских факультетов университетов / И.Н.Бродский и др. ; под редакцией Я.А.Слинина, Э.Ф.Караваева, А.И.Мигунова ; Санкт-Петербургский государственный университет |
|
2003 |
Каменский, Алексей Кузьмич (гуманитарные науки) |
Логика : Курс лекций: Пособие / Мозыр. гос. пед. ун-т. Каф. философии и экономики |
|
2008 |
|
Analysis and synthesis of logics : how to cut and paste reasoning systems / by Walter Carnielli [et al.] |
|
2009 |
Шеенсон, Игорь Самуилович (инженер-физик ; род. 1939) |
Единство диалектической и формальной логики : Элеат Зенон против и за Эйнштейна / И. С. Шеенсон |
|
1948 |
Серрюс, Шарль |
Опыт исследования значения логики / Пер. с франц. вступит. статья: [«Шарль Серрюс и логика отношений», с. 7-50] и коммент. проф. В. Ф. Асмуса. Под ред. М. Ф. Овсянникова |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ