Большой англо-русский словарь (с транскрипциями) CHURCH - rosser theorem теорема Черча - Россера (в лямбда-исчислении)