PanLinx
русский
rus-000
конструктивная арифметика
English
eng-000
constructive arithmetic
PanLex