A907094-ОХФ Марков, Андрей Андреевич Избранные труды [Текст] : в 2 т. / А. А. Марков. - Москва : Изд-во Моск. Центра непрерыв. мат. образования, 2002 - 2003. - ISBN 5-94057-044-5. Т. 2 : Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2003. - 626 с. - ISBN 5-94057-113-1 (в пер.) : 90.00 р.
Рубрики: математика--математика--Россия, 20 в., 1903-1979 гг. Кл.слова (ненормированные): математика -- конструктивное направление -- алгорифмов теория -- математическая логика -- информатика -- персоналии -- алгоритмы Доп. точки доступа: Экземпляры всего: 1 ОХФ (1) |
A884924-ОХФ-ЧЗ-4 Колмогоров, Андрей Николаевич (1903-1987). Математическая логика [Текст] : учеб. пособие для студентов мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; . - Москва : Едиториал УРСС, 2004. - 238, [2] c. - (Классический университетский учебник). - Библиогр. - ISBN 5-354-00389-X (в пер.) : 120.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгорифмов теория -- доказательств теория Доп. точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |