Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

in Ways of Proof Theory

If the inline PDF is not rendering correctly, you can download the PDF file here.

FULL ACCESS

Book

Search