TY  - BOOK
AU  - Кушнер,Б.А.
AU  - Нагорный,Н.М.
ED  - Вычислительный центр  АН  СССР
TI  - Теория алгорифмов и математическая логика
PY  - 1974///
CY  - Москва
KW  - Математическая логика
N1  - Библиогр.: в конце главы
ER  -