一阶谓词演算自然演绎型直觉主义系统

• NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus