Report - Introduction to Proof Theoryjean/cis160/undergraduate.pdfIntroduction to Proof Theory Hilbert’s Proof System (propositional case) Idea: Logical Axioms and One Deduction Rule. H1

Please pass captcha verification before submit form