51(07) И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 447 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51(07) С 89 Судоплатов, С. В. Математическая логика и теория алгоритмов [Текст] : учебник / С. В. Судоплатов, Е. В. Овчинникова. - 2-е изд., перераб. - Новосибирск : НГТУ, 2010. - 255 с : ил. - (Учебники НГТУ). - Библиогр.: с.224-226 . - Указ. терминов, обозначений: с.241-255. - ISBN 978-5-7782-1348-7
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Овчинникова, Е.В. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Р 29 Рвачев, В. Л. Алгебра логики и интегральные преобразования в краевых задачах [Текст] / А. П. Слесаренко. - Киев : Наукова думка, 1976. - Библиогр.: с.279-285 . -
Держатели документа: НТБ ФГБУ "Гидрометцентр России" Доп.точки доступа: Слесаренко, А. П. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Ф 87 Френкель, А. Основания теории и множеств [Текст] / И. Бар-Хиллел ; Пер. с англ., под ред. А. С. Есенина-Вольпина. - М. : Мир, 1966. - 556 с. - Библиогр. в конце . -
Держатели документа: НТБ ФГБУ "Гидрометцентр России" Доп.точки доступа: Бар-Хиллел, И.; Есенин-Вольпин, А. С. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Ш 47 Шенфилд, Дж. Математическая логика [Текст] / Пер. с англ. ; Под ред. Ю.л. Ершова. - М. : Наука, 975. - 528 с. - Предм. указ. в конце . -
Держатели документа: НТБ ФГБУ "Гидрометцентр России" Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |