Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца
Material type: TextLanguage: Russian Original language: English Publication details: М. Едиториал УРСС 2007Edition: Изд. 3-е, стереотипDescription: 480 сISBN: 5484008026; 9785484008025Subject(s): учебные пособия для вузов | математическая логика | теория моделей | гильбертовская теория доказательств | теория доказательств | формальная арифметика | Тьюринга машины | Геделя теорема о полноте | Генцена теорема о полноте | исчисление высказываний | исчисление предикатов | исчисление предикатов с равенством | основания математики | множества счетные | множества абстрактные | математика аксиоматическая | математика интуитивная | Черча тезис | вычислимость (математическая логика) | разрешимость (математическая логика) | Левенгейма-Скулема теорема | Эрбрана теорема | Крейга интерполяционная теорема | Бета теорема об определимости | Робинсона теорема о непротиворечивости | нормализация доказательств | Эрбрана теорема для непредваренных формул | анализ рассуждений (математическая логика) | рассуждения неполные (математическая логика) | теорема о дедукции | цепи эквивалентности (математическая логика)Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 51 К493 (Browse shelf(Opens below)) | 1 | Available | 13820000568509 | ||
6 месяцев | Научная библиотека ТГУ Библиотека РФФ | 51 К493 (Browse shelf(Opens below)) | 2 | Checked out | 21/08/2023 | 13820000568510 | |
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 51 К493 (Browse shelf(Opens below)) | 3 | Available | 13820000568511 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Абонемент. Депозитарий Close shelf browser (Hides shelf browser)
Библиогр.: с. 451-465
Авт. и предм. указ.: с. 470-478
В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц
There are no comments on this title.