Поиск по Электронному каталогу Книги

В12
К 608
Колмогоров, А. Н.
    Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)

ГРНТИ

27.03.19

ББК В12я7

Рубрики: Математическая логика--Учебные издания для высших учебных заведений

Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.

Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)

В12
К 608
Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика : введение в математическую логику : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; [редакционная коллегия: Г. Е. Минц и др.] ; Московский государственный университет им. М. В. Ломоносова. - Издание 4-е, обновленное. - Москва : Едиториал URSS, 2013. - 233, [1] с. : ил. ; 22 см. - (Классический университетский учебник). - Библиография: с. 224. - Именной указатель: с. 225-226. - Предметный указатель: с. 227-232. - ISBN 978-5-354-01449-1 (в пер.) : 476.00 р., 462.00 р.

ГРНТИ

27.03.19

ББК В12я73

Рубрики: Математическая логика--Учебные издания для высших учебных заведений

Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико-математические языки -- логические законы -- аксиоматические теории
Доп.точки доступа:
Драгалин, Альберт Григорьевич (1941-1998)
Минц, Г. Е. \ред.\
Валиев, М. К. \ред.\
Драгалина-Черная, Е. Г. \ред.\
Нагорный, Н. М. \ред.\
Московский государственный университет им. М. В. Ломоносова

Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)