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

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

Show other versions (2)

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

Научная библиотека ТГУ: Абонемент. Депозитарий

Holdings details from Научная библиотека ТГУ: Абонемент. Депозитарий
Call Number:	51 К493
	Available Place a Hold
	Available Place a Hold

Научная библиотека ТГУ: Абонемент

Holdings details from Научная библиотека ТГУ: Абонемент
Call Number:	51 К493
	Checked out – Due: 07-28-2025 23:59 Recall This