Report - Kreisel’s ‘shift of emphasis’ and contemporary proof miningkohlenbach/Kreisel.pdfprogram, Kreisel’s novel approach was to ‘describe pragmatic uses of \consistency" proofs

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form