Post Closed Classes and Discrete Predicative Systems

• 波斯特封闭类与离散谓词系统