Normal view
MARC view
Введение в математическую логику Э. Мендельсон; пер. с англ. Ф. А. Кабакова; под ред. С. И. Адяна
Material type: TextLanguage: Russian Original language: English Publication details: Москва Наука, Физматлит 1971Description: 320 сContent type: Текст Media type: непосредственный Subject(s): математическая логика | исчисление высказываний | многозначные логики | теории первого порядка | теоремы о полноте | теории первого порядка обобщенные | арифметика формальная | множеств теория, аксиоматические методы | вычислимость эффективная | арифметика формальная, доказательство непротиворечивости | Тьюринга алгоритмы | Маркова алгоритмы нормальные | Эрбрана-Геделя вычислимость | неразрешимые проблемы (мат. логика)Genre/Form: учебные издания Online resources: Click here to access online Доступна электронная версия Получено из INTERNETItem type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | Библиотека Э. В. Денисова | 2-060916 (Browse shelf (Opens below)) | Available | Библиотека Э. В. Денисова | 13820001056227 | ||
6 месяцев | Абонемент. Депозитарий | 51 М501 (Browse shelf (Opens below)) | 4 | Available | 13820000244953 | |||
6 месяцев | Абонемент. Депозитарий | 51 М501 (Browse shelf (Opens below)) | 11 | Available | 13820000279975 | |||
Выдается в читальный зал | Книгохранилище | 1-068959к (Browse shelf (Opens below)) | 16 | Available | 13820000301356 | |||
1 месяц | Книгохранилище | 1-068960 Ю (Browse shelf (Opens below)) | 17 | Available | 13820000305774 |
Доступна электронная версия Получено из INTERNET
There are no comments on this title.