Title: Investigations into the equivalence connective
Subjects: Intuitionistic mathematics, Propositional calculus