Normal view
MARC view
Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско
Material type: TextPublication details: Москва Физматлит 2007Edition: 2-е издDescription: 125, [1] сContent type: Текст Media type: непосредственный ISBN: 5922102780; 9785922102780Subject(s): учебные пособия для вузов | математическая логика | теория множеств | множества эквивалентные | множества счетные | кардинальные числа | Кантора теорема | парадоксы теории множеств | аксиоматическая теория множеств | логика высказываний | логические операции | кванторы | языки первого порядка | субъектно-предикатная структура | истинности формальное определение | формулы общезначимые | формулы выполнимые | формулы равносильные | формулы предваренные | истинность | изоморфизмы | эквивалентность элементарная | выразимость (мат. логика) | выразимость (мат. логика), доказательство | автоморфизмы | теория доказательств | аксиоматический метод | логическое следование | тавтологическое следствие (мат. логика) | исчисление предикатов | вывод из гипотез | теории первого порядка | арифметика формальная | Геделя теорема о полноте | категоричность (мат. логика) | теория алгоритмов | функции вычислимые | множества разрешимые | множества полуразрешимые | универсальная вычислимая функция | перечислимость множества теорем | Тьюринга машины | Черча тезисItem type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
6 месяцев | Библиотека РФФ | 51 У774 (Browse shelf (Opens below)) | 1 | Checked out | 06/10/2021 | 13820000607518 |
Выдается в читальный зал | Книгохранилище | 2-057390 (Browse shelf (Opens below)) | 2 | Available | 13820000607519 |
Библиогр.: с. 122
Предм. указ.: с. 123-125
There are no comments on this title.