Reinhard Kahle, Michael Rathjen

Gentzen's Centenary - 1st ed. 2015 - Springer International Publishing 2015

9783319101033


Mathematics and Statistics