View of Converse Ackermann property and constructive negation defined with a negation connective

Return to Article Details Converse Ackermann property and constructive negation defined with a negation connective Download Download PDF