Back to Results
First PageMeta Content
Sequent calculus / Constructible universe / Logic / Mathematics / Proof theory / Mathematical logic / Automated theorem proving


Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ
Add to Reading List

Document Date: 2006-03-19 11:02:00

Open Document

File Size: 78,84 KB

Share Result on Facebook
UPDATE