From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk).

Iddo Tzameret

Browse the full CSL paper archive.