Normal view
MARC view
Введение в математическую логику Э. Мендельсон; Пер. с англ. Ф. А. Кабакова; Под ред. С. И. Адяна
Material type:
TextLanguage: Russian Original language: English Publication details: М. Наука. Физматлит 1984Edition: 3-е издDescription: 319, [1] сOther title: Introduction to mathematical logic [Parallel title]Subject(s): логика высказываний | логика предикатов | арифметика формальная | аксиоматическая теория множеств | алгоритмов теория | теория моделей | упражнения | система аксиом | Тарского теорема | Хартогса теорема | кванторы | теоремы о полноте | математическая логика
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| 1 неделя | Читальный зал 5 | 510 М501 (Browse shelf (Opens below)) | 1 | Ветхий | 13820000173113 | |
| 6 месяцев | Абонемент | 51 М501 (Browse shelf (Opens below)) | 3 | Available | 13820000244935 | |
| 6 месяцев | Абонемент | 51 М501 (Browse shelf (Opens below)) | 6 | Available | 13820000288112 | |
| Выдается в читальный зал | Книгохранилище | 1-540258к (Browse shelf (Opens below)) | 8 | Available | 13820000301358 | |
| 1 месяц | Книгохранилище | 1-543534 (Browse shelf (Opens below)) | 9 | Available | 13820000297210 |
Библиогр.: с. 296-309
Алф.указ.: с. 310-317
There are no comments on this title.