TY  - BOOK
AU  - Смальян,Рэймонд Меррилл
AU  - Косовский,Н.К.
AU  - Шанин,Н.А.
TI  - Теория формальных систем
T2  - Математическая логика и основания математики
PY  - 1981///
CY  - Москва
PB  - Наука
N1  - Пер. изд.: Theory of formal systems / Raymond M. Smullyan (Princeton, N.J., 1962); Библиогр.: с. 202-204; Указ. определений, обозначений: с. 205-207
ER  -