Report - Gödel's functional interpretation and the extraction of ...powell/talk024.pdf\Proof Theory as Mathesis Universalis" Proof theory is often unfairly perceived to be a discipline concerned

Please pass captcha verification before submit form