Proof-Theoretic Strength of $\mathsf{PRON}$ with Various Extensions

TitleProof-Theoretic Strength of $\mathsf{PRON}$ with Various Extensions
Publication TypeMaster's Thesis
2001
AuthorsSteiner, D
http://www.iam.unibe.ch/ltgpub/2001/ste01.pdf