GENERAL RECURSIVELY TRUE FORMULA Англо-русский перевод GENERAL RECURSIVELY TRUE FORMULA общерекурсивно истинная формула English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005