Return to Article Details
D-complete Single Axioms for the Equivalential Calculus with the rules D and R
Download
Download PDF