Учебная литература, A591119-ОХФ, A591120-ОХФ, A591121-ОХФ, A591122-ОХФ, A591123-ОХФ, A593255-ОХФ, A595693-ОХФ, A873334-ОХФ, Колмогоров, Андрей Николаевич (1903-1987). Математическая логика: Дополнительные главы [Текст] : учеб. пособие для студентов вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Моск. ун-та, 1984. - 117, [3] с. - Библиогр. - ISBN [Б. и.] : 20.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория Доп. точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 27 ОХФ (8), ОУОЕН (19) |
A884515-ОХФ Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ [Текст] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543, [1] с. : портр. - Библиогр. - ISBN 5-354-00387-3 (в пер.) : 125.00 р.
Рубрики: математика--математическая логика--Россия, 20 в., 1941-1998 гг. философия--философия науки--Россия, 20 в., 1941-1998 гг. Кл.слова (ненормированные): математическая логика -- доказательств теория -- нестандартный анализ -- конструктивные методы -- интуиционизм -- персоналии -- математики -- философия математики Экземпляры всего: 1 ОХФ (1) |
A884924-ОХФ-ЧЗ-4 Колмогоров, Андрей Николаевич (1903-1987). Математическая логика [Текст] : учеб. пособие для студентов мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; . - Москва : Едиториал УРСС, 2004. - 238, [2] c. - (Классический университетский учебник). - Библиогр. - ISBN 5-354-00389-X (в пер.) : 120.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгорифмов теория -- доказательств теория Доп. точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |