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) |
A962559-ОХФ, A962560-ОХФ-ЧЗ-4 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р. На обл. авт. не указаны
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |
A965012-ОХФ Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Доп. точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 1 ОХФ (1) |
A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Доп. точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 3 ОХФ (1), ОХФ-ЧЗ-4 (2) |
A973606-ОХФ-ЧЗ-4 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р. На обл. авт. не указан
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |