TY  - BOOK
AU  - Попов, С. В.
AU  - Брошкова, Н. Л.
TI  - Прикладная логика
SN  - 978-5-9221-1340-3
PY  - 2011///
CY  - Москва
PB  - Физматлит
KW  - Математическая логика
KW  - Логическое исчисление
KW  - RU\NLR\auth\661580831
KW  - В123
N2  - Библиогр.: с. 210-212 (45 назв.)
ER  -