Gentzen's theorem in context

TitleGentzen's theorem in context
Publication TypeBook Chapter
Year of Publication2015
AuthorsKahle R
EditorKahle R, Rathjen M
Book TitleGentzen's Centenary: The quest for consistency
Pagination3–24
PublisherSpringer