TY  - BOOK
AU  - Смальян, Раймонд М.
AU  - Косовский, Н. К.
TI  - Теория формальных систем
T2  - Математическая логика и основания математики
PY  - 1981///
CY  - Москва
PB  - Наука
KW  - მათემატიკური ლოგიკა
ER  -