| Original language | English |
|---|---|
| Publisher | Springer International Publishing |
| Publication status | Published - 2016 |
Publication series
| Name | Progress in Computer Science and Applied Logic |
|---|---|
| Publisher | Springer |
| Volume | 28 |
Advances in Proof Theory
Reinhard Kahle (Editor/Coordinator), Thomas Strahm, Thomas Studer (Editor/Coordinator)
Research output: Book/Report › Anthology › peer-review