TY  - BOOK
AU  - Цейтин, Г.С.
TI  - О промежуточном этапе при переводе с естественного языка на язык исчисления предикатов
PY  - 1961///]
CY  - Б. м.
ER  -