Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : Учеб.пособие / М.М. Глухов [и др.]. - СПб. : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.:с.109-110. - ISBN 978-5-8114-0853-5 : 117-04.

Авторы: Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б.

Шифры: 51(075) - З-15

Экземпляры: Всего: 8, из них: нтл-3, общ-1, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП), Теоретические основы алгоритмизации

Шапорев С.Д.
Математическая логика : Курс лекций и практ.занятий / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 416 с. : ил. - Предм.указ.:с.406-410. - Библиогр.:с.405. - ISBN 978-5-94157-702-6 : 164-18.

Авторы: Шапорев С.Д.

Шифры: 51(075) - Ш 24

Экземпляры: Всего: 7, из них: нтл-2, общ-1, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Колмогоров А.Н.
Математическая логика : Учеб.пособие / А.Н. Колмогоров, А.Г. Драгалин ; МГУ им.М.В.Ломоносова; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - 2-е изд.,стер. - М. : Едиториал УРСС, 2005. - 240 с. - (Классический университетский учебник). - Имен.указ.:с.229.-Предм.указ.:с.230-236. - Библиогр.:с.228. - ISBN 5-354-01003-9 : 170-00.

Авторы: Колмогоров А.Н., Драгалин А.Г.

Шифры: 51(075) - К 60

Экземпляры: Всего: 63, из них: аб-54, нтл-3, общ-2, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП), Теоретические основы алгоритмизации

Шапорев С.Д.
Математическая логика : Курс лекций и практ.занятий / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. - Предм.указ.:с.406-410. - Библиогр.:с.405. - ISBN 5-94157-702-8 : 125-00.

Авторы: Шапорев С.Д.

Шифры: 51(075) - Ш 24

Экземпляры: Всего: 1, из них: нтл-1

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Волгин Л.И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника / Л.И. Волгин ; Ульянов.гос.техн.ун-т, Тольятт.гос.акад.сервиса. - Ульяновск : [Б.и.], 2005. - 258 с. : ил. - ISBN 5-89146-558-2 : 100-00.

Авторы: Волгин Л.И.

Шифры: 51 - В 67

Экземпляры: Всего: 1, из них: нтл-1

Колмогоров А.Н.
Математическая логика : Учеб.пособие / А.Н. Колмогоров, А.Г. Драгалин ; МГУ им.М.В.Ломоносова; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - М. : Едиториал УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - Прил.:с.111-114.-Имен.указ.:с.229.-Предм.указ.:с.230-236. - Библиогр.:с.115, 228. - ISBN 5-354-00389-Х : 100-00.

Авторы: Колмогоров А.Н., Драгалин А.Г.

Шифры: 51(075) - К 60

Экземпляры: Всего: 1, из них: нтл-1

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Ершов Ю.Л.
Математическая логика : Учеб.пособие / Ю.Л. Ершов, Е.А. Палютин. - 3-е изд.,стер. - СПб. : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм.указ.:с.335-336. - ISBN 5-8114-0533-2 : 218-00.

Авторы: Ершов Ю.Л., Палютин Е.А.

Шифры: 51(075) - Е 80

Экземпляры: Всего: 39, из них: аб-30, нтл-3, общ-2, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ / А.Г. Драгалин ; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - М. : Едиториал УРСС, 2003. - 544 с. - Прил.:с.513-519.-Имен.указ.:с.526-529.-Предм.указ.:с.530-543. - Библиогр.в конце разд. - ISBN 5-354-00388-1 : 100-00.

Авторы: Драгалин А.Г.

Шифры: 51 - Д 72

Экземпляры: Всего: 1, из них: нтл-1

Колчин А.Ф.
Введение в математическую логику : Учеб.пособие для вузов / А.Ф. Колчин, С.А. Зыкова ; М-во общ.и проф.образования.МГТУ "СТАНКИН". - М. : Станкин, 1998. - 48 с. : ил. - Библиогр.:с.47. - 8-00.

Авторы: Колчин А.Ф., Зыкова С.А.

Шифры: 51(075) - К 61

Экземпляры: Всего: 5, из них: аф-5

Дисциплина: Математика(ПМ)

Классификация методов научного познания : Метод.рекомендации к изучению прогр.магистерского курса "Методол.науч.творчества" / М-во общ.и профессионально-техн.образования РФ.Нижегород.региональное отд-ние Российской Акад.соц.наук. НГТУ; Сост.В.В.Агудов; Науч.ред.А.И.Меньков. - Н.Новгород : [Б.и.], 1997. - 72 с. - 0-00.

Шифры: 87.2я73 - К 47

Экземпляры: Всего: 18, из них: аб-4, аф-14

Использование базисных функций алгебры логики : Метод.указ.по выполнению лаб.работы по дисц."Автоматизация произв.процессов в машиностроении" для студ.спец.:12.01,12.02 всех форм обуч. / НГТУ.Каф."Автоматизация машиностроения"; Сост.В.П.Жеглов. - Н.Новгород : [Б.и.], 1994. - 23 с. : ил. - Библиогр.:с.14. - 0-00.

Шифры: 51 - И 88

Экземпляры: Всего: 10, из них: аф-10

Бургин М.С.
Введение в современную точную методологию науки. Структуры систем знания : Пособие для студ.вузов / М.С. Бургин, В.И. Кузнецов. - М. : АО "Аспект Пресс", 1994. - 304 с. - На тит.л.и обл.:Прогр."Обновление гуманит.образования в России". - Библиогр.в конце гл. - ISBN 5-86318-070-6 : 0-00.

Авторы: Бургин М.С., Кузнецов В.И.

Шифры: 51(075) - Б 91

Экземпляры: Всего: 1, из них: чз-1

Дисциплина: Методология научных исследований (МТК)

Гончаров С.С.
Введение в логику и методологию науки / С.С. Гончаров, Ю.Л. Ершов, К.Ф. Самохвалов. - М.; Новосибирск : Интерпракс; Изд-во ин-та математики, 1994. - 255 с. : ил. - На обл.авт.не указаны.-Предм.указ.:с.244-250.-На тит.л.и обл.:Прогр."Обновление гуманит. ..." . - Библиогр.:с.239-241. - ISBN 5-86134-009-9 : 0-00.

Авторы: Гончаров С.С., Ершов Ю.Л., Самохвалов К.Ф.

Шифры: 87.4я73 - Г 65

Экземпляры: Всего: 2, из них: нтл-1, чз6-1

Дисциплина: Методология научных исследований (МТК)

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

Авторы: Латотин Л.А., Макаренков Ю.А., Николаева В.В., Столяр А.А.

Шифры: 51(075) - М 34

Экземпляры: Всего: 1, из них: нтл-1

Столяр А.А.
Как математика ум в порядок приводит / А.А. Столяр. - 2-е изд.,перераб.и доп. - Минск : Вышэйш.шк., 1991. - 204 с. : ил. - ISBN 5-339-00587-9 : 1-00.

Авторы: Столяр А.А.

Шифры: 51 - С 81

Экземпляры: Всего: 1, из них: нтл-1

Мендельсон Э.
Введение в математическую логику : Пер.с англ. / Э. Мендельсон. - 3-е изд. - М. : Наука, 1984. - 319 с. : ил. - Алф.указ.:с.310-317. - Библиогр.:с.296-309. - 1-80.

Авторы: Мендельсон Э.

Шифры: 517 - М 50

Экземпляры: Всего: 1, из них: нтл-1

Алгебра, математическая логика, теория чисел, топология : Сборник обзорных ст.к 50-летию Ин-та / АН СССР; Отв.ред.С.М.Никольский. - М. : Наука, 1984. - 252 с. - (Труды математического института им.В.А.Стеклова. Вып.168). - Библиогр.в конце ст. - 3-70.

Шифры: Т 157 168

Экземпляры: Всего: 1, из них: нтл-1

Голдблатт Р.
Топосы. Категорный анализ логики : Пер.с англ. / Р. Голдблатт. - М. : Мир, 1983. - 486 с. : ил. - Библиогр.:с.466-470. - 3-30.

Авторы: Голдблатт Р.

Шифры: 51 - Г 60

Экземпляры: Всего: 1, из них: нтл-1

Байиф Ж.К.
Логические задачи : Пер.с фр. / Ж.К. Байиф ; Под ред.И.М.Яглома. - М. : Мир, 1983. - 172 с. : ил. - Пер.изд.:Les casse-tete logiques/De Baillif(Paris,1979). - 0-45.

Авторы: Байиф Ж.К.

Шифры: 51 - Б 18

Экземпляры: Всего: 1, из них: нтл-1

Справочная книга по математической логике : Пер.с англ.:В 4-х ч. Ч.1. Теория моделей / Под ред.Д.Барвайса. - М. : Наука.Гл.ред.физ.-мат.лит., 1982. - 392 с. : ил. - Предм.указ.:с.388-391. - Библиогр.в конце гл. - 100-00.

Шифры: 51(031) - С 74

Экземпляры: Всего: 1, из них: нтл-1