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 | Available | 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 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Читальный зал 5 Close shelf browser (Hides shelf browser)
Библиогр.: с. 296-309
Алф.указ.: с. 310-317
There are no comments on this title.
Log in to your account to post a comment.