![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/9718a021c75664d2d7737759a3cbfc42.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 |