Report - TheLanguageofProofs · 2007. 7. 11. · TheLanguageofProofs PeterKoepke, UniversityofBonn Proof theory treats mathematical proofs as formal proofs which proceed by syntactic manipulations

Please pass captcha verification before submit form