TY  - BOOK
AU  - Клини,Стивен Коул
TI  - Математическая логика
SN  - 535401011X
PY  - 2005///
CY  - Москва
PB  - Едиториал УРСС
KW  - учебные пособия для вузов
KW  - математическая логика
KW  - теория моделей
KW  - гильбертовская теория доказательств
KW  - теория доказательств
KW  - формальная арифметика
KW  - Тьюринга машины
KW  - Геделя теорема о полноте
KW  - Генцена теорема о полноте
KW  - исчисление высказываний
KW  - исчисление предикатов
KW  - исчисление предикатов с равенством
KW  - основания математики
KW  - множества счетные
KW  - множества абстрактные
KW  - математика аксиоматическая
KW  - математика интуитивная
KW  - Черча тезис
KW  - вычислимость (математическая логика)
KW  - разрешимость (математическая логика)
KW  - Левенгейма-Скулема теорема
KW  - Эрбрана теорема
KW  - Крейга интерполяционная теорема
KW  - Бета теорема об определимости
KW  - Робинсона теорема о непротиворечивости
KW  - нормализация доказательств
KW  - Эрбрана теорема для непредваренных формул
KW  - анализ рассуждений (математическая логика)
KW  - рассуждения неполные (математическая логика)
KW  - теорема о дедукции
KW  - цепи эквивалентности (математическая логика)
N1  - Библиогр.: с. 451-465; Авт. и предмет. указ.: с. 470-478; В кн. также: Нормализация доказательств.  Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц
ER  -