Математическая логика

Математическая логика

Показать другие варианты (2)

Библиографическая информация
Главный автор:	Клини, Стивен Коул 1909-1994
Формат:	Книга
Язык:	Russian
Публикация:	Москва Едиториал УРСС 2005
Редактирование:	Изд. 2-е, стереотип.
Предметы:	учебные пособия для вузов математическая логика теория моделей гильбертовская теория доказательств теория доказательств формальная арифметика Тьюринга машины Геделя теорема о полноте Генцена теорема о полноте исчисление высказываний исчисление предикатов исчисление предикатов с равенством основания математики множества счетные множества абстрактные математика аксиоматическая математика интуитивная Черча тезис вычислимость (математическая логика) разрешимость (математическая логика) Левенгейма-Скулема теорема Эрбрана теорема Крейга интерполяционная теорема Бета теорема об определимости Робинсона теорема о непротиворечивости нормализация доказательств Эрбрана теорема для непредваренных формул анализ рассуждений (математическая логика) рассуждения неполные (математическая логика) теорема о дедукции цепи эквивалентности (математическая логика)

Оглавление:

В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц