Петров, Юрий Александрович. Логические проблемы абстракций бесконечности и осуществимости / Ю.А.Петров ; отв ред. С.А.Яновская. - 2-е изд. - М. : Едиториал УРСС, печ. 2004. - 163, [1] с. - Библиогр.: с. 160-162. - ISBN 5-354-00975-8 : Б. ц. р.
Игошин, Владимир Иванович. Математическаялогика и теория алгоритмов : учеб. пособие по специальности 032100 "Математика" / В. И. Игошин. - М. : Academia, 2004. - 446,1 с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2 : Б. ц. р., Б.ц р.
Верпаховский, Федор Леонидович. Лекции по математической логике : учеб.пособие / Ф. Л. Верпаховский ; Правительство Москвы, Департамент образования г. Москвы, Моск. гос. пед. ун-т. - М. : Жизнь и мысль : Моск. учебники, 2004. - 126, [1] с. - ISBN 5-8455-0058-3 : Б. ц. р. На тит. с. : к 10-летию МГПУ
Колмогоров, Андрей Николаевич. Математическаялогика : учеб. пособие для мат. специальностей вузов / А. Н. Колмогоров ; Моск. гос. ун-т им. М.В. Ломоносова. - 2-е изд., стер. - М. : Едиториал УРСС, 2005. - 238 с. : ил. - (Классический университетский учебник / ред. совет : В. А. Садовничий). - На тит. с.: Моск. гос. ун-т им. М.В. Ломоносова-250 лет. - Библиогр.: с. 115, 228. - ISBN 5-354-01003-9 : Б. ц. р.
Клини, Стивен Коул. Математическаялогика / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 2-е, стер. - М. : Едиториал УРСС, печ. 2004. - 480 с. : ил. ; 22 см. - Библиогр.: с. 451-465. - Указ. авт. и предм.: с. 470-478. - ISBN 5-354-01011-X : Б. ц. р., Б.ц р.
Ф 5-9/364 ч.1 Толоконников, Г. К. Формальные физические теории и квантовое программирование / Г. К. Толоконников ; Фонд развития России, Центр информ. технологий & информатизации и телекоммунмикаций. - М. : Т-Сервис, 2005 - . - (Прикладная математика и информатика :сб. тр...). Ч.1 : Конструктивные объекты и конструктивная логика. - 2005. - 32 с. - ; (...т.2, вып.1). - Библиогр.: с. 32. - Б. ц. р.
Дод.точки доступу: Фонд развития России; Центр информ. технологий & информатизации и телекоммуникаций
Примірників всього: 1 ХР (1) Свободны: ХР (1)
W 153-10/158
Волгин, Леонид Иванович. Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника / Л. И. Волгин ; Федер. агентство по образованию, Ульян. гос. техн. ун-т, Тольят. гос. акад. сервиса. - Ульяновск : УлГТУ, 2005. - 258 с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-89146-558-2 : Б. ц. р.
Шапорев, Сергей Дмитриевич. Математическаялогика [] : курс лекций и практ. занятий : [по специальности 220200 "Автоматизир. системы обраб. информ. и упр."] / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. ; 24 см. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : Б. ц. р.
Кузьмин, Олег Викторович. Комбинаторные методы решения логических задач : учеб. пособие:[ для вузов по направлениям и специальностям математики] / О. В. Кузьмин. - М. : Дрофа, 2006. - 187, [2] с. : ил. - (Высшее образование) (Высшее педагогическое образование). - Библиогр.: с. 188. - ISBN 5-7107-8579-2 : Б. ц. р.
Ершов, Юрий Леонидович. Математическаялогика : учеб. пособие / Ю. Л. Ершов, Е.А. Палютин. - Изд. 5-е,стер. - СПб. [и др.] : Лань, 2005. - 336 с. - (Учебник для вузов. Специальная литература). - ISBN 5-8114-0533-2 : Б. ц. р.
Стрыгин, Владимир Захарович. Решение трудных задач теории чисел, алгебры и логики / В. З. Стрыгин. - Жуковский : [б. в.], 2006. - 34с., включ. обл. : ил. - Описано по обл. - Библиогр.: с. 32-33. - Б. ц. р.
Яновская, Софья Александровна. Методологические проблемы науки / С. А. Яновская ; под общ. ред. И .Г. Башмаковой [и др.]; заключ. ст. Б. В. Бирюкова, О. А. Борисовой. - Изд. 2-е. - М. : URSS : КомКнига, cop. 2006. - 291, [1] с. : ил. - Библиогр.: с. 288-292. - ISBN 4-484-00455-1 : Б. ц. р., 179.31 р.
Колмогоров, Андрей Николаевич. Математическаялогика : учеб. пособие для мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М.В. Ломоносова. - Изд. 3-е,стер. - М. : URSS : КомКнига, 2006. - 238 с. : ил. - (Классический университетский учебник / ред. совет : В. А. Садовничий). - На тит. с.: Моск. гос. ун-т им. М.В. Ломоносова-250 лет. - Библиогр.: с. 115, 228. - ISBN 5-484-00520-5 : Б. ц. р.
Наголкин, Андриан Николаевич. Алгебра логики в золотом сечении : ещё один шаг в обл. нечетких логик и компьютер. интеллекта / А. Н. Наголкин. - М. : МАКС Пресс, 2006. - 180, [1]с., [1] л. порт. : ил. - Библиогр.: с. 180-181. - ISBN 5-317-01731-9 : Б. ц. р.
Аляев, Юрий Александрович. Дискретная математика и математическаялогика : [учеб. для вузов] / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364, [1] с. : ил. - Библиогр.: с. 355-357. - ISBN 5-279-03045-7 : Б. ц. р.
Лавров, Игорь Андреевич. Математическаялогика : [учеб. пособие для вузов, обучающихся по техн. естеств.-науч. специальностям ] / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : Academia, 2006. - 239,[1] с. : ил. - (Серия "Прикладная математика и информатика") (Университетский учебник). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : Б. ц. р.
Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2007. - 125 с. - На обл. авт. не указаны. - Библиогр.: с. 122. - ISBN 978-5-9221-0278-0 : Б. ц. р.
Дод.точки доступу: Верещагин, Николай Константинович; Плиско, Валерий Егорович
Примірників всього: 2 ХР (1), ЧЗ (1) Свободны: ХР (1), ЧЗ (1)
W 92-10/241
Клини, Стивен Коул. Математическаялогика / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стер. - М. : URSS : КомКнига, cop. 2007. - 480 с. : ил. - Библиогр.: с. 451-465. - Указ. авт. и предм.: с. 470-478. - ISBN 978-5-484-008-2-5 : Б. ц. р.
Гурова, Любовь Михайловна. Математическаялогика и теория алгоритмов : [учеб. пособие для вузов по направлениям 552800, 654600 "Информатика и вычисл. техника" специальности 220200 "Автоматизир. системы обраб. информатики и упр."] / Л. М. Гурова, Е. В. Зайцева ; [Моск. гос. горный ун-т]. - М. : Изд-во Моск. гос. горного ун-та, 2006. - 261, [1] с. : ил. ; 22 см. - (Высшее горное образование). - Библиогр.: с. 259. - ISBN 5-7418-0451-9 : Б. ц. р.
Кравченко, Виктор Филиппович. Алгебра логики, атомарные функции и вейвлеты в физических приложениях : [учеб. пособие для вузов по направлению "Прикладная физика"] / В. Ф. Кравченко, В. Л. Рвачев. - М. : Физматлит : Наука / Интерпериодика, 2006. - 415 с. : ил. - Библиогр.: с. 399-415. - ISBN 5-9221-0752-6 : 263.65 р.