Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

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

By: Колмогоров, Андрей Николаевич, 1903-1987Contributor(s): Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt]Material type: TextTextSeries: Классический университетский учебникPublication details: Москва Едиториал УРСС 2013Edition: Изд. 4-е, обновлDescription: 236, [1] с. рис., таблISBN: 9785354014460Subject(s): Колмогоров, Андрей Николаевич 1903-1987 | Драгалин, Альберт Григорьевич 1941-1998 | Математическая логика - Учебники и пособия | учебные издания для вузов | теория множеств | математические структуры | булева алгебра | логика высказываний | исчисление высказываний | логика предикатов | логико-математические языки | логические законы | формулы | термы | семантика логико-математических языков | исчисление предикатов | аксиоматические теории | теорема о дедукции | наивная теория множеств | Цермело-Френкеля аксиоматическая теория | Тьюринга машины | теоремы общей теории алгорифмов | теория алгорифмов | теория доказательств | Геделя теорема о неполноте | Гильберта программа обоснования математикиOther classification: 22.12я73
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
Выдается по месту хранения Читальный зал 5 510 К608 (Browse shelf (Opens below)) Available 13820000848508

Библиогр.: с. 227-228

Указатели: с. 229-236

There are no comments on this title.

to post a comment.
Share