Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

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

By: Клини, Стивен Коул, 1909-1994Material type: TextTextLanguage: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Edition: Изд. 2-е, стереотипDescription: 480 сISBN: 535401011XSubject(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
Выдается в читальный зал Книгохранилище 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.

to post a comment.