A884515-ОХФ Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ [Текст] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543, [1] с. : портр. - Библиогр. - ISBN 5-354-00387-3 (в пер.) : 125.00 р.
Рубрики: математика--математическая логика--Россия, 20 в., 1941-1998 гг. философия--философия науки--Россия, 20 в., 1941-1998 гг. Кл.слова (ненормированные): математическая логика -- доказательств теория -- нестандартный анализ -- конструктивные методы -- интуиционизм -- персоналии -- математики -- философия математики Экземпляры всего: 1 ОХФ (1) |
A908211-ОХФ, A908212-ОХФ-ЧЗ-4 Жоль, Константин Константинович. Логика [Текст] : учеб. пособие для студентов вузов / К. К. Жоль. - Москва : ЮНИТИ[-ДАНА], 2004. - 396, [4] с. - (Bibliotheca studiorum / отв. ред. А. Е. Конверский). - Библиогр.: с. 383-384, 385-396. - ISBN 5-238-00664-0 (в пер.) : 159.159 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- научное познание -- высказывания -- предикаты -- интуиционизм -- конструктивизм -- модальная логика -- вероятностей теория -- логическая семантика -- кибернетика Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |