Advances in Proof Theory

TitleAdvances in Proof Theory
Publication TypeBook
Year of Publication2016
Series EditorKahle R, Strahm T, Studer" T
Volume28
PublisherBirkhäuser