A882053-ОХФ Мансуров, Владимир Николаевич. Конструктивные и развивающиеся формальные системы [Текст] / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.
Рубрики: математика--математическая логика--математическая кибернетика Кл.слова (ненормированные): формальные системы -- конструктивные формальные системы -- ЭПИ-системы -- бинарные системы -- Тьюринга машина -- алгоритмические языки Экземпляры всего: 1 ОХФ (1) |
A884515-ОХФ Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ [Текст] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543, [1] с. : портр. - Библиогр. - ISBN 5-354-00387-3 (в пер.) : 125.00 р.
Рубрики: математика--математическая логика--Россия, 20 в., 1941-1998 гг. философия--философия науки--Россия, 20 в., 1941-1998 гг. Кл.слова (ненормированные): математическая логика -- доказательств теория -- нестандартный анализ -- конструктивные методы -- интуиционизм -- персоналии -- математики -- философия математики Экземпляры всего: 1 ОХФ (1) |