Normal view
MARC view
Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; [отв. ред. Г. Е. Минц] ; Моск. гос. ун-т им. М. В. Ломоносова
Material type:
TextLanguage: Russian Series: Классический университетский учебникPublication details: Москва УРСС 2005Edition: Изд. 2-е, стерDescription: 238 с. 23 смISBN: 5354010039; 9785354010035Subject(s): Колмогоров, Андрей Николаевич 1903-1987 | Драгалин, Альберт Григорьевич 1941-1998 | математическая логика | учебные издания для вузов | теория множеств | математические структуры | булева алгебра | логика высказываний | исчисление высказываний | логика предикатов | логико-математические языки | логические законы | аксиоматические теории формальные | теория силлогизмов | классификация суждений | теория алгоритмов | наивная теория множеств | Цермело-Френкеля теория множеств аксиоматическая | Геделя теорема | теория множеств аксиоматическая | Тьюринга машины | Черча тезис | Гильберта программа обоснования математикиOther classification: 22.12я73
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 2-012876 (Browse shelf (Opens below)) | Available | 13820000853977 |
Библиогр.: с. 228 и в тексте
Указатели: с. 229-238
There are no comments on this title.