Preprint:

    Sam Buss and Jakob Nordström
    Proof Complexity
    Draft in preparation, March 2018.

    Download draft version.

Abstract: (To be written.)

Back to Sam Buss's publications page.