517.11 К60 Колмогоров, А. Н. Математическая логика : Учебное пособие [Текст] / А. Н. Колмогоров, А. Н. Драгалин. - 3-е изд., стер. - М. : URSS, 2006. - 238 с. - (Классический университетский учебник). - Библиогр.: с.228 . -
Держатели документа: ГМЦ Доп.точки доступа: Драгалин, А.Н. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51(07) И26 Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов. [Текст] : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 302 с. - (Высшее профессиональное образование). - Библиогр.: с. 301. -
Держатели документа: ГМЦ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
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 Н 73 Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с : ил. - (Математическая логика и основания математики). - Предм. указ. в конце . -
Держатели документа: НТБ ФГБУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |