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

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

Show other versions (2)
Bibliographic Details
Main Author: Клини, Стивен Коул 1909-1994
Format: Book
Language:Russian
Published: Москва Едиториал УРСС 2005
Edition:Изд. 2-е, стереотип.
Subjects:
учебные пособия для вузов
математическая логика
теория моделей
гильбертовская теория доказательств
теория доказательств
формальная арифметика
Тьюринга машины
Геделя теорема о полноте
Генцена теорема о полноте
исчисление высказываний
исчисление предикатов
исчисление предикатов с равенством
основания математики
множества счетные
множества абстрактные
математика аксиоматическая
математика интуитивная
Черча тезис
вычислимость (математическая логика)
разрешимость (математическая логика)
Левенгейма-Скулема теорема
Эрбрана теорема
Крейга интерполяционная теорема
Бета теорема об определимости
Робинсона теорема о непротиворечивости
нормализация доказательств
Эрбрана теорема для непредваренных формул
анализ рассуждений (математическая логика)
рассуждения неполные (математическая логика)
теорема о дедукции
цепи эквивалентности (математическая логика)

Similar Items

Similar Items