Advances in Proof Theory

TitleAdvances in Proof Theory
Publication TypeBook
Year of Publication2016
Series EditorKahle, R, Strahm, T, Studer, T
Series TitleProgress in Computer Science and Applied Logic
Series Volume28
PublisherBirkhäuser
ISBN Number978-3-319-29196-3