CHURCH - ROSSER THEOREM


Англо-русский перевод CHURCH - ROSSER THEOREM

теорема Черча - Россера (в лямбда-исчислении)

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.