TY  - BOOK
AU  - Маслов,Сергей Юрьевич
TI  - Теория дедуктивных систем и ее применения
PY  - 1986///
CY  - Москва
PB  - Радио и связь
KW  - Исчислений теория
KW  - Математическая логика
ER  -