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