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

Facility

Imperial College / /

OperatingSystem

Sequent / /

Organization

Paul Taylor Department of Computing / Imperial College / /

Person

Paul Taylor / /

/

ProgrammingLanguage

E / /

Technology

alpha / /

SocialTag