View of Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems

Return to Article Details Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems Download Download PDF