PREDICATIVE ARITHMETIC Англо-русский перевод PREDICATIVE ARITHMETIC матем. предикативная арифметика, арифметика предикатов English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005