Normal view
MARC view
Лекции по математической логике и теории алгоритмов Ч. 2 Н. К. Верещагин, А. Шень
Material type: TextSeries: Современные лекционные курсыPublication details: М. МЦНМО 2000Description: 286,[2] сISBN: 5900916669Other title: Языки и исчисления [Distinctive title]Subject(s): математическая логика | логика высказываний | исчисление высказываний | языки первого порядка | исчисление предикатов | теория моделей | предикаты выразимые | предикаты невыразимые | автоморфизмы | разрешимые теории | Геделя теорема о полноте | учебные пособия для вузов | булевы функции | истинные высказывания | ложные высказыванияItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 В317 (Browse shelf(Opens below)) | 1 | Available | 13820000407041 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 В317 (Browse shelf(Opens below)) | 2 | Available | 13820000407042 | ||
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-884532к (Browse shelf(Opens below)) | 3 | Available | 13820000302304 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Читальный зал 5 Close shelf browser (Hides shelf browser)
Библиогр.: с. 268 - 272
Предм. указ.: с. 273 - 282
Указ. имен: с. 283 - 284
There are no comments on this title.
Log in to your account to post a comment.