PanLinx
русский
rus-000
квазиклассическая аксиоматика
English
eng-000
quasiclassical axiomatics
PanLex
