Normal view
MARC view
Математическая логика [Учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова
Material type: TextSeries: Классический университетский учебникPublication details: М. Едиториал УРСС 2004Description: 238, [2] с. рис., таблISBN: 535400389XSubject(s): Математическая логика - Учебники и пособия | учебные пособия для вузов | теория множеств | математические структуры | булева алгебра | логика высказываний | исчисление высказываний | логика предикатов | логико-математические языки | логические законы | формулы | термы | семантика логико-математических языков | исчисление предикатов | аксиоматические теории | теорема о дедукции | наивная теория множеств | Цермело-Френкеля аксиоматическая теория | Тьюринга машины | теоремы общей теории алгорифмов | теория алгорифмов | теория доказательств | Геделя теорема | Гильберта программа обоснования математикиOther classification: 22.12я73Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
1 неделя | Читальный зал 5 | 510 К608 (Browse shelf (Opens below)) | 1 | Available | 13820000451121 | |
Выдается в читальный зал | Книгохранилище | 1-912686к 51 (Browse shelf (Opens below)) | 2 | Available | 13820000451122 |
There are no comments on this title.