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