TY  - BOOK
AU  - Смальян,Р.
AU  - Косовский, Н. К.
AU  - Шанин, Н. А.
TI  - Теория формальных систем
PY  - 1981///
CY  - Москва
PB  - Наука
KW  - Математика
N1  - Библиогр.: с. 202-204
ER  -