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
Advances in Proof Theory - 1st ed. 2016 - Springer International Publishing 2016 - Progress in Computer Science and Applied Logic .
9783319291987
Mathematics and Statistics