This paper reviews Post closed classes and the achievements in research on the discrete predicative systems, puts forward new questions and and applicable prospects of the research.
英
美
- 概述波斯特封闭类与离散谓词系统的研究成果,提出这类研究中的新问题和应用前景。