Report copyright - Kreisel’s ‘shift of emphasis’ and contemporary proof miningkohlenbach/Kreisel.pdfprogram, Kreisel’s novel approach was to ‘describe pragmatic uses of \consistency" proofs
Please pass captcha verification before submit form
Please pass captcha verification before submit form