Back to Results
First PageMeta Content
Proof theory / Model theory / Logic in computer science / Automated theorem proving / Metalogic / Curry–Howard correspondence / Natural deduction / Admissible rule / Sequent calculus / Logic / Mathematical logic / Mathematics


Document Date: 2002-09-05 11:32:52

Open Document

File Size: 245,65 KB

Share Result on Facebook
UPDATE