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

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

Show other versions (2)

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

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

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

by Клини, Стивен Коул 1909-1994
Published 2005

Book

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

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

by Клини, Стивен Коул 1909-1994
Published 1973

Book