@MastersThesis{pro99,
  Author         = {Probst, Dieter},
  Title          = {Dependent Choice in Explicit Mathematics},
  School         = {Universit{\"a}t Bern},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {1999/pro99.pdf},
  year           = 1999
}

{"_id":"tgHDQcoXpKuKzd7es","bibbaseid":"probst-dependentchoiceinexplicitmathematics-1999","authorIDs":[],"author_short":["Probst, D."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"propositions":[],"lastnames":["Probst"],"firstnames":["Dieter"],"suffixes":[]}],"title":"Dependent Choice in Explicit Mathematics","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"1999/pro99.pdf","year":"1999","bibtex":"@MastersThesis{pro99,\n Author = {Probst, Dieter},\n Title = {Dependent Choice in Explicit Mathematics},\n School = {Universit{\\\"a}t Bern},\n Address = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n url = {1999/pro99.pdf},\n year = 1999\n}\n\n","author_short":["Probst, D."],"key":"pro99","id":"pro99","bibbaseid":"probst-dependentchoiceinexplicitmathematics-1999","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/1999/pro99.pdf"},"downloads":0},"bibtype":"mastersthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.033Z","downloads":0,"keywords":[],"search_terms":["dependent","choice","explicit","mathematics","probst"],"title":"Dependent Choice in Explicit Mathematics","year":1999,"dataSources":["jFQMeatnEb8qn3qdH"]}