![Sequent calculus / Constructible universe / Logic / Mathematics / Proof theory / Mathematical logic / Automated theorem proving Sequent calculus / Constructible universe / Logic / Mathematics / Proof theory / Mathematical logic / Automated theorem proving](https://www.pdfsearch.io/img/9f18dc4bf2ae818ea37395c068436df5.jpg)
| Document Date: 2006-03-19 11:02:00 Open Document File Size: 78,84 KBShare Result on Facebook
Facility Imperial College / / OperatingSystem Sequent / / Organization Paul Taylor Department of Computing / Imperial College / / Person Paul Taylor / / / ProgrammingLanguage E / / Technology alpha / /
SocialTag |