![Mathematical logic / Metalogic / Logic / Proof theory / X0 / First-order logic / Leitsch / Sequent calculus Mathematical logic / Metalogic / Logic / Proof theory / X0 / First-order logic / Leitsch / Sequent calculus](https://www.pdfsearch.io/img/c0ac8dcfba62e0510b4e11db22f6101e.jpg) 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 Website File Size: 220,14 KBShare Document on Facebook
|