First Page | Document Content | |
---|---|---|
Date: 2012-07-25 07:17:52Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus | System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-PalAdd to Reading ListSource URL: www.logic.atDownload Document from Source WebsiteFile Size: 220,14 KBShare Document on Facebook |