CHURCH - ROSSER THEOREM


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.