PanLinx
русский
rus-000
рекурсивная неразрешимость
English
eng-000
recursive insolubility
English
eng-000
recursive undecidability
English
eng-000
recursive unsolvability
PanLex