命题演算的两个直觉主义系统

• Two Intuitionistic Systems of Sentential Calculus