一阶命题演算的希尔伯特型直觉主义系统

• VHilbert's Type Intuitionistic Systems of First Order Sentential Calculus