Report copyright - (Ordinal-theoretic) Proof Theoryevents.cs.bham.ac.uk/mgs2008/notes/proofTheory.pdf · 1.1 Genesis: Hilbert’s Program The term ‘proof theory’, in German beweistheorie, was (as
Please pass captcha verification before submit form
Please pass captcha verification before submit form