Proof-theoretic aspects of weak König's Lemma

TitleProof-theoretic aspects of weak König's Lemma
Publication TypeMaster's Thesis
2010
AuthorsBrugger, J
http://www.iam.unibe.ch/ltgpub/2010/bru10a.pdf