Metapredicative Subsystems of Analysis

TitleMetapredicative Subsystems of Analysis
Publication TypePhD Thesis
Year of Publication2000
AuthorsRüede, C
URLhttp://www.iam.unibe.ch/ltgpub/2000/rue00.pdf