Normal view
MARC view
Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]
Material type: TextSeries: Классический университетский учебникPublication details: Москва Едиториал УРСС 2013Edition: Изд. 4-е, обновлDescription: 236, [1] с. рис., таблISBN: 9785354014460Subject(s): Колмогоров, Андрей Николаевич 1903-1987 | Драгалин, Альберт Григорьевич 1941-1998 | Математическая логика - Учебники и пособия | учебные издания для вузов | теория множеств | математические структуры | булева алгебра | логика высказываний | исчисление высказываний | логика предикатов | логико-математические языки | логические законы | формулы | термы | семантика логико-математических языков | исчисление предикатов | аксиоматические теории | теорема о дедукции | наивная теория множеств | Цермело-Френкеля аксиоматическая теория | Тьюринга машины | теоремы общей теории алгорифмов | теория алгорифмов | теория доказательств | Геделя теорема о неполноте | Гильберта программа обоснования математикиOther classification: 22.12я73Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается по месту хранения | Научная библиотека ТГУ Читальный зал 5 | 510 К608 (Browse shelf(Opens below)) | Available | 13820000848508 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Читальный зал 5 Close shelf browser (Hides shelf browser)
Библиогр.: с. 227-228
Указатели: с. 229-236
There are no comments on this title.
Log in to your account to post a comment.