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 месяц | Научная библиотека ТГУ Книгохранилище | 1-940663 (Browse shelf(Opens below)) | 3 | Available | 13820000539736 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 Ш241 (Browse shelf(Opens below)) | 1 | Available | 13820000531455 | ||
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-938647к (Browse shelf(Opens below)) | Available | 13820000531457 | |||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 Ш241 (Browse shelf(Opens below)) | 2 | Available | 13820000531456 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 51 Ш241 (Browse shelf(Opens below)) | 1 | Available | 13820000539734 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 51 Ш241 (Browse shelf(Opens below)) | 2 | Available | 13820000539735 |
Библиогр.: с. 405
Предм. указ.: с. 406-410
There are no comments on this title.
Log in to your account to post a comment.