Normal view
MARC view
Прикладная логика С. В. Попов, Н. Л. Брошкова
Material type: TextLanguage: Russian Publication details: Москва Физматлит 2011Description: 212 с. ил., табл. 23 смISBN: 9785922113403Subject(s): математическая логика | логические задачи | множеств теория | матрицы логические | алгебра матриц | алгоритмы построения матриц обратных | логические исчисления | непротиворечивость исчисления | полнота исчисления | логический анализ синтаксический | логические выводы | секвенциальные исчисления | множества аксиом предполные | канонические выводы | преобразования выводов (математическая логика) | логический формализм | логический анализ семантическийItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 2-004838к (Browse shelf (Opens below)) | Available | 13820000806462 |
Библиогр.: с. 210-212
There are no comments on this title.