Archiv verlassen und diese Seite im Standarddesign anzeigen : Proof Theory The First Step into Impredicativity