TY  - BOOK
AU  - Клини, С. К.
AU  - Гастев, Ю. А.
AU  - Минц, Г. Е.
TI  - Клини С К. Математическая логика
PY  - 1973///
CY  - Москва
PB  - МИР
ER  -