квазиклассическая аксиоматика

Мат. quasiclassical axiomatics