Электронный каталог

Философская логика [Текст] : Истоки и эволюция / Шуман Андрей Николаевич - Минск : Экономпресс, 2001. - 363,(5) с. - Библиогр.: с. 361-363. - Имен., предм. указ.: с. 347-360. - ISBN 985-6479-26-6 : 84.50.

Лекции по математической логике и теории алгоритмов [Текст] = Математическая логика и теория алгоритмов [Загл. обл.]. [Ч. 2] : Языки и исчисления / Верещагин Николай Константинович, Шень А. - 2-е изд., стер. - М. : МЦНМО, 2002. - 285 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 270-273. - Предм. указ.: с. 274-283. Указ. имен: с. 284-285. - ISBN 5-900916-66-9 : 82.61.

Лекции по математической логике и теории алгоритмов [Текст] = Математическая логика и теория алгоритмов [Загл. обл.]. [Ч. 1] : Начала теории множеств / Верещагин Николай Константинович - 2-е изд., испр. - М. : МЦНМО, 2002. - 121 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 120-121. - ISBN 5-900916-36-7 : 38.50.

Логика и логическая семантика [Текст] : Сб. тр. / Фреге Готлоб ; Пер. с нем. Бирюкова Б. В. под ред. Кузичевой З. А.; Введ. и послесл. Бирюкова Б. В.; Коммент. Бирюкова Б. В., Кузичевой З. А. - М. : Аспект-пресс, 2000. - 511,(1) с. : ил. - Библиогр. в примеч. - Имен. указ.: с. 509-511. - ISBN 5-7567-0128-1 : 141.25.

Логика в информатике [Текст] / Лыскова Вероника Юрьевна, Ракитина Е. А. - М. : Информатика и образование, 1999. - 139,(2) с. : ил. - (Информатика в школе). - Библиогр.: с. 139. - ISBN 5-900618-13-7 : 55.10.

Смирновские чтения [Текст] = Smirnov's readings : 2-я междунар. конф.: Материалы - М. : ?????: ??????, 1999. - 231 с. - Ч. текста: англ. - Библиогр. в конце докл. - ISBN 5-201-02005-4 : 16.50.

Универсальная алгебра, алгебраическая логика и базы данных [Текст] / Плоткин Борис Исакович - Москва : Наука, 1991. - 446с. : ил. - Библиогр.: с. 435-442.

Математическая логика [Текст] : Учеб. пособие для мат. спец. пед. ин-тов / Латотин Л. А. и др.; Под общ. ред. Столяра А. А. - Минск : Вышэйш. шк., 1991. - 269,[1]с. : ил. ; 21 см. - Библиогр.: с. 260. - Терминол. указ.: с. 261-266. - ISBN 5-339-00342-6

Модальная логика [Текст] / Ивлев Юрий Васильевич - М. : Изд-во МГУ, 1991. - 221, [1] с. - Библиогр.: с. 218-221. - ISBN 5-211-01476-6

Математическая логика и алгоритмические проблемы [Текст] / Отв. ред. Ершов Ю. Л. - Новосибирск : Наука, Сиб. отд-ние, 1989. - 189с. ; 28 см. - (Труды Института математики ; Т. 12). - Библиогр. в конце ст. - ISBN 5-02-028623-0

Проблема истины в диалектической и формальной логике [Текст] / Шугайлин Александр Васильевич ; Отв. ред. Карпов М. М.; Рост. ин-т инженеров ж.-д. транспорта. - Ростов н/Д : Изд-во Рост. ун-та, 1987. - 62,(2) с. ; 21 см. - Библиогр.: с. 62-63.

Логика распознавания [Текст] / Закревский Аркадий Дмитриевич ; АН БССР, Ин-т техн. кибернетики. - Минск : Наука и техника, 1988. - 116,(2) с.

Философско-методологические аспекты релевантной логики [Текст] / Войшвилло Евгений Казимирович - М. : Изд-во МГУ, 1988. - 139,(1) с. ; 23 см. - Библиогр.: с. 138-140. - ISBN 5-211-00019-6

Диалектическая логика [Текст] : Учеб. пособие для филос. фак. вузов / Андреев Иван Дмитриевич - М. : Высш. шк., 1985. - 367с. ; 15 см.

Проблема неполноты теории и ее гносеологическое значение [Текст] / Антипенко Леонид Григорьевич ; Отв. ред. Стяжкин Н. И., Мчедлишвили Л. И.; АН СССР, Ин-т философии. - М. : Наука, 1986. - 224с. ; 21 см. - Библиогр.: с. 219-222.

Диалектическая логика [Текст] : Диалектич. логика как методол. соврем. естествознания / Абдильдин Ж. М., Орынбеков М. С., Абдильдин М. М. и др.; Под рук. и общ. ред. Абдильдина Ж. М. - Алма-Ата : Наука, 1985. - 391с.

Марксистско-ленинская диалектика [Текст] : В 8 кн. Кн. 2 : Диалектическая логика / Оруджев З. М., Шептулин А. Н., Андреев И. Д. и др.; Под ред. Оруджева З. М., Шептулина А. П. - М. : Изд-во МГУ, 1986. - 294,(2) с. - Библиогр.: с. 286-291. - Указ. имен, предм.: с. 292-295.

Многоцветная логика : 175 логич. задач / Бизам Дьердь, Герцег Я. ; Пер. с венг. Данилова Ю. А. - Москва : Мир, 1978. - 435 с. : ил.

Математика и логика [Текст] / Пуанкаре Анри, Кутюра Л. ; пер. с фр. Юшкевича П., Долина А. - 2-е изд. - М. : ЛКИ, 2007. - 148, [1] с. ; 22 см. - (Из наследия мировой философской мысли. Философия науки). - Библиогр. в примеч. - ISBN 978-5-382-00019-0 : 140.00.

Как же называется эта книга? [Текст] : [сб. задач по логике] / Смаллиан Рэймонд М. ; пер. с англ., предисл. Данилова Ю. - М. : Изд. дом Мещерякова, 2007. - 265, [3] с. : ил. ; 21 см. - (Научные развлечения). - ISBN 978-5-91045-012-1 : 130.12.

Математическая логика [Текст] / Клини Стивен Коул ; пер. с англ. Гастева Ю. А. ; под ред. Минца Г. Е. - 3-е изд., стер. - М. : КомКнига, 2007. - 480 с. ; 22 см. - Библиогр.: с. 451-465. - Авт. и предм. указ. с.: 470-478. - ISBN 978-5-484-00802-5 : 201.36; 255.00.

Логика вопросов и ответов [Текст] / Белнап Н., Стил Т. ; пер. с англ. Крейдлина Г. Е. ; общ. ред., предисл. и примеч. Смирнова В. А., Финна В. К. - М. : Прогресс, 1981. - 287, [1] с. - Библиогр.: с. 157-207, 266-267. - Имен. указ.: с. 285-286.

Логика [Текст] : учеб. пособие / Афанасьева Ольга Викторовна - М. : Проспект, 2011. - 271 с. : ил., табл. - Библиогр.: с. 270-271. - ISBN 978-5-392-01898-7 : 123.20.

Традиционная логика в современном освещении [Текст] : формал. логика как опыт. наука : учеб. курс / Абачиев Сергей Константинович ; Ин-т социал.-экон. прогнозирования и моделирования. - 2-е изд. - М. : КомКнига, 2010. - 268 с. ; 22 см. - Библиогр. в примеч.: с. 232-240. - ISBN 978-5-484-01251-0 : 212.96.

Логика существования [Текст] / Целищев Виталий Валентинович ; Сиб. отд-ние Рос. АН, Ин-т философии и права. - 2-е изд., испр. - М. : КРАСАНД, 2010. - 135 с. - Библиогр.: с. 132-135. - ISBN 978-5-396-00176-3 : 159.28.

Диалектическая логика [Текст] : [крат. очерк] / Алексеев Митрофан Николаевич ; М-во высш. и сред. спец. образования СССР, Упр. преподавания обществ. наук. - М. : Высш. шк., 1960. - 150 с. - (Материалы к лекциям по диалектическому и историческому материализму).

Диалектическая логика как наука [Текст] / Алексеев Митрофан Николаевич ; Всесоюз. о-во по распространению полит. и науч. знаний. - М. : Знание, 1961. - 48 с. - (Серия 2. Философия ; вып. 1). - Библиогр. в конце кн.

Логика и педагогика [Текст] / Алексеев Митрофан Николаевич - М. : Знание, 1965. - 32 с. - (Новое в жизни, науке, технике. Философия ; вып. 6).

Математическая непрерывная логика и изображение функций [Текст] / Гинзбург Самуил Александрович - Москва : Энергия, 1968. - 136 с. : черт. - (Библиотека по автоматике ; вып. 274). - Библиогр.: с. 132-134.

Задачи по математической логике. Алгебра высказываний. Логика предикатов. теория алгоритмов [Текст] / Галиев Шамиль Ибрагимович ; Казан. авиац. ин-т им. А. Н. Туполева, Каф. кибернетики. - Казань : [б. и.], 1974. - 79 с.