Two Intuitionistic Systems of Sentential Calculus

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