Ways of proof theory - Schindler, Ralf (Ontos mathematical logic, 2010)