CHURCH - ROSSER THEOREM Англо-русский перевод CHURCH - ROSSER THEOREM теорема Черча - Россера (в лямбда-исчислении) New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011