TY  - BOOK
AU  - Маслов,Сергей Юрьевич
TI  - Теория дедуктивных систем и ее применения
U1  - 51.01:16 
PY  - 1986///
CY  - Москва
PB  - Радио и связь
KW  - Математика
KW  - Математическая логика
N1  - Библиогр.:с.129-131
ER  -