Weak König's Lemma and Extensional Equality

TitleWeak König's Lemma and Extensional Equality
Publication TypeMaster's Thesis
2004
AuthorsBurri, T
http://www.iam.unibe.ch/ltgpub/2004/bur04.pdf