TY  - BOOK
AU  - Попов,Сергей Викторович
AU  - Брошкова,Наталья Леонидовна
TI  - Прикладная логика
SN  - 9785922113403
PY  - 2011///
CY  - Москва
PB  - Физматлит
KW  - математическая логика
KW  - логические задачи
KW  - множеств теория
KW  - матрицы логические
KW  - алгебра матриц
KW  - алгоритмы построения матриц обратных
KW  - логические исчисления
KW  - непротиворечивость исчисления
KW  - полнота исчисления
KW  - логический анализ синтаксический
KW  - логические выводы
KW  - секвенциальные исчисления
KW  - множества аксиом предполные
KW  - канонические выводы
KW  - преобразования выводов (математическая логика)
KW  - логический формализм
KW  - логический анализ семантический
N1  - Библиогр.: с. 210-212
ER  -