直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统

CNKI