Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam (Nauka, 1972)