О возможностях кодирования сообщений в различных языках формальной арифметики - Н. П. Тер-Захарян (АН Арм. ССР)
Keywords: Математика; Компьютерное программное обеспечение