Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

By: Клини, Стивен Коул, 1909-1994Material type: TextTextLanguage: Russian Original language: English Publication details: М. Едиториал УРСС 2007Edition: Изд. 3-е, стереотипDescription: 480 сISBN: 5484008026; 9785484008025Subject(s): учебные пособия для вузов | математическая логика | теория моделей | гильбертовская теория доказательств | теория доказательств | формальная арифметика | Тьюринга машины | Геделя теорема о полноте | Генцена теорема о полноте | исчисление высказываний | исчисление предикатов | исчисление предикатов с равенством | основания математики | множества счетные | множества абстрактные | математика аксиоматическая | математика интуитивная | Черча тезис | вычислимость (математическая логика) | разрешимость (математическая логика) | Левенгейма-Скулема теорема | Эрбрана теорема | Крейга интерполяционная теорема | Бета теорема об определимости | Робинсона теорема о непротиворечивости | нормализация доказательств | Эрбрана теорема для непредваренных формул | анализ рассуждений (математическая логика) | рассуждения неполные (математическая логика) | теорема о дедукции | цепи эквивалентности (математическая логика)
Contents:
В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц
Tags from this library: No tags from this library for this title. Log in to add tags.
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

Библиогр.: с. 451-465

Авт. и предм. указ.: с. 470-478

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

There are no comments on this title.

to post a comment.