Boriss Gnedenko – teised keeled