直觉主义谓词演算

intuitionistic predicate calculus