@MastersThesis{bur04,
  Author         = {Theo Burri},
  Title          = {Weak K{\"o}nig's Lemma and Extensional Equality},
  School         = {Universit{\"a}t Bern},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {2004/bur04.pdf},
  year           = 2004
}

{"_id":"7TZwkbTtAGGY38CH3","bibbaseid":"burri-weakknigslemmaandextensionalequality-2004","authorIDs":[],"author_short":["Burri, T."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"firstnames":["Theo"],"propositions":[],"lastnames":["Burri"],"suffixes":[]}],"title":"Weak König's Lemma and Extensional Equality","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"2004/bur04.pdf","year":"2004","bibtex":"@MastersThesis{bur04,\n Author = {Theo Burri},\n Title = {Weak K{\\\"o}nig's Lemma and Extensional Equality},\n School = {Universit{\\\"a}t Bern},\n Address = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n url = {2004/bur04.pdf},\n year = 2004\n}\n\n","author_short":["Burri, T."],"key":"bur04","id":"bur04","bibbaseid":"burri-weakknigslemmaandextensionalequality-2004","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2004/bur04.pdf"},"downloads":0},"bibtype":"mastersthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.080Z","downloads":0,"keywords":[],"search_terms":["weak","nig","lemma","extensional","equality","burri"],"title":"Weak König's Lemma and Extensional Equality","year":2004,"dataSources":["jFQMeatnEb8qn3qdH"]}