NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus

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