Ways of Proof Theory - Schindler,Ralf (Ontos Verlag)