First Page | Document Content | |
---|---|---|
Date: 2006-03-19 11:02:00Sequent 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 2BZAdd to Reading ListSource URL: kambing.ui.ac.idDownload Document from Source WebsiteFile Size: 78,84 KBShare Document on Facebook |