Normal view
MARC view
Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца
Material type: TextLanguage: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Edition: Изд. 2-е, стереотипDescription: 480 сISBN: 535401011XSubject(s): учебные пособия для вузов | математическая логика | теория моделей | гильбертовская теория доказательств | теория доказательств | формальная арифметика | Тьюринга машины | Геделя теорема о полноте | Генцена теорема о полноте | исчисление высказываний | исчисление предикатов | исчисление предикатов с равенством | основания математики | множества счетные | множества абстрактные | математика аксиоматическая | математика интуитивная | Черча тезис | вычислимость (математическая логика) | разрешимость (математическая логика) | Левенгейма-Скулема теорема | Эрбрана теорема | Крейга интерполяционная теорема | Бета теорема об определимости | Робинсона теорема о непротиворечивости | нормализация доказательств | Эрбрана теорема для непредваренных формул | анализ рассуждений (математическая логика) | рассуждения неполные (математическая логика) | теорема о дедукции | цепи эквивалентности (математическая логика)
Contents:
В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-931670к (Browse shelf (Opens below)) | Available | 13820000501409 | ||
1 неделя | Читальный зал 5 | 510 К493 (Browse shelf (Opens below)) | Ветхий | 13820000501410 | ||
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 1 | Available | 13820000537313 | |
6 месяцев | Абонемент | 51 К493 (Browse shelf (Opens below)) | 2 | Available | 13820000537314 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 3 | Available | 13820000537315 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 4 | Available | 13820000537316 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 5 | Available | 13820000537317 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 6 | Available | 13820000537318 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 7 | Available | 13820000537319 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 8 | Available | 13820000537320 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 9 | Available | 13820000537321 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 10 | Available | 13820000537322 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 11 | Available | 13820000537323 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 12 | Available | 13820000537324 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 13 | Available | 13820000537325 | |
1 месяц | Книгохранилище | 2-041838 (Browse shelf (Opens below)) | 14 | Available | 13820000537326 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 15 | Available | 13820000537327 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 16 | Available | 13820000537328 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 18 | Available | 13820000537330 | |
6 месяцев | Абонемент | 51 К493 (Browse shelf (Opens below)) | 19 | Available | 13820000537331 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 20 | Available | 13820000537332 | |
6 месяцев | Абонемент | 51 К493 (Browse shelf (Opens below)) | 21 | Available | 13820000537333 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 22 | Available | 13820000537334 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 23 | Available | 13820000537335 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 24 | Available | 13820000537336 | |
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 25 | Available | 13820000537337 |
Библиогр.: с. 451-465
Авт. и предмет. указ.: с. 470-478
В кн. также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул / Г. Е. Минц
There are no comments on this title.