Two Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$

TitleTwo Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$
Publication TypeMaster's Thesis
2003
AuthorsSchweizer, T
http://www.iam.unibe.ch/ltgpub/2003/sch03.pdf