<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-07-25 07:17:52Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-07-25 07:17:52Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus |
Add to Reading List |
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-Pal