Report - Proof complexity of intuitionistic implicational …users.math.cas.cz/~jerabek/papers/implic.pdfProof complexity of intuitionistic implicational formulas Emil Jeˇrabek Institute of

Please pass captcha verification before submit form