Normal view
MARC view
Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
Material type:
TextPublication details: М. Физматлит 2004Edition: [2-е изд.]Description: 125, [1] сISBN: 5922102788Subject(s): учебные пособия для вузов | математическая логика | множеств теория | множества эквивалентные | множества счетные | числа кардинальные | Кантора теорема | множеств теория, парадоксы | множеств теория аксиоматическая | логика высказываний | логические операции | кванторы | языки первого порядка | субъектно-предикатная структура | истинности формальное определение | формулы общезначимые | формулы выполнимые | формулы равносильные | формулы предваренные | истинность | изоморфизмы | эквивалентность элементарная | выразимость (мат. логика) | выразимость (мат. логика), доказательство | автоморфизмы | теория доказательств | аксиоматический метод | логическое следование | тавтологическое следствие (мат. логика) | исчисление предикатов | вывод из гипотез | теории первого порядка | арифметика формальная | Геделя теорема о полноте | категоричность (мат. логика) | теория алгоритмов | вычислимые функции | множества разрешимые | множества полуразрешимые | универсальная вычислимая функция | перечислимость множества теорем | Тьюринга машины | Черча тезис
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-916422к (Browse shelf (Opens below)) | 1 | Available | 13820000461601 | |
| 1 месяц | Читальный зал. Депозитарий | 510 У774 (Browse shelf (Opens below)) | 2 | Available | 13820000461602 |
Библиогр.: с. 122
Предм. указ.: с. 123-125
There are no comments on this title.