PanLinx
русский
rus-000
теорема Чёрча - Россера
English
eng-000
Church - Rosser theorem
PanLex