Back to Results
First PageMeta Content
Sequent calculus / Sequent / Rule of inference / Deep inference / Cut-elimination theorem / Natural deduction / Proof theory / Logic / Mathematical logic


AG13 FORMALISM B Alessio Guglielmi (TU Dresden[removed]In this note (originally posted on[removed]to the Frogs mailing
Add to Reading List

Document Date: 2007-12-18 10:37:44

Open Document

File Size: 73,13 KB

Share Result on Facebook

IndustryTerm

Web Site http /

URL

http /

SocialTag