Proof theoretic complexity

TitleProof theoretic complexity
Publication TypeConference Paper
Year of Publication2002
AuthorsOstrin, GE, Wainer, SS
EditorSchwichtenberg, H, Steinbrüggen, R
Conference NameProof and System Reliability
Pagination369-398
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2002/ow02.pdf