Wellordering Two Sorts: A Slow-Growing Proof Theory for Variable Separation

TitleWellordering Two Sorts: A Slow-Growing Proof Theory for Variable Separation
Publication TypePhD Thesis
Year of Publication2005
AuthorsWirz, M
URLhttp://www.iam.unibe.ch/ltgpub/2005/wir05.pdf