Кушнер, Б. А. Лекции по конструктивному математическому анализу [Текст] : монография / Б. А. Кушнер. - М. : Наука, 1973. - 447 с. - (Математическая логика и основания математики). - Библиогр.: с.427-440 . - Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Теория алгоритмов и математическая логика [Текст] : сб.ст. / АН СССР. Вычислит.центр ; ред. Б. А. Кушнер. - М. : ВЦ АН СССР, 1974. - 216 с. : портр. - Библиогр. в конце ст. - Б. ц.
Математическая логика Доп.точки доступа: Кушнер, Б.А. \ред.\; АН СССР. Вычислит.центр Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |