Normal view
MARC view
Математическая логика курс лекций и практических занятий : [учебное пособие для студентов вузов, обучающихся по специальности 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"] С. Д. Шапорев
Material type: TextLanguage: Russian Publication details: СПб. БХВ-Петербург 2005Description: 410 с. ил. 24 смISBN: 5941577028Subject(s): математическая логика | учебные пособия для вузов | алгебра высказываний | Буля алгебра | исчисление высказываний | логика предикатов | исчисление предикатов | теория алгоритмов | истинное высказывание | ложное высказывание | логические константыOther classification: 22.12я73Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-938647к (Browse shelf (Opens below)) | Available | 13820000531457 | ||
1 неделя | Читальный зал 5 | 510 Ш241 (Browse shelf (Opens below)) | 1 | Available | 13820000531455 | |
6 месяцев | Абонемент. Депозитарий | 51 Ш241 (Browse shelf (Opens below)) | 1 | Available | 13820000539734 | |
1 неделя | Читальный зал 5 | 510 Ш241 (Browse shelf (Opens below)) | 2 | Available | 13820000531456 | |
6 месяцев | Абонемент. Депозитарий | 51 Ш241 (Browse shelf (Opens below)) | 2 | Available | 13820000539735 | |
1 месяц | Книгохранилище | 1-940663 (Browse shelf (Opens below)) | 3 | Available | 13820000539736 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 405
Предм. указ.: с. 406-410
There are no comments on this title.