Reinhard Kahle, Thomas Strahm, Thomas Studer

Advances in Proof Theory - 1st ed. 2016 - Springer International Publishing 2016 - Progress in Computer Science and Applied Logic .

9783319291987


Mathematics and Statistics