@PhdThesis{wir05,
  Author         = {Marc Wirz},
  Title          = {Wellordering Two Sorts: A Slow-Growing Proof Theory
                   for Variable Separation},
  School         = {Universit{\"a}t Bern},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {2005/wir05.pdf},
  year           = 2005
}

{"_id":"Z4JSJkSXZNbFA3HcA","bibbaseid":"wirz-wellorderingtwosortsaslowgrowingprooftheoryforvariableseparation-2005","authorIDs":[],"author_short":["Wirz, M."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Wirz"],"suffixes":[]}],"title":"Wellordering Two Sorts: A Slow-Growing Proof Theory for Variable Separation","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"2005/wir05.pdf","year":"2005","bibtex":"@PhdThesis{wir05,\n Author = {Marc Wirz},\n Title = {Wellordering Two Sorts: A Slow-Growing Proof Theory\n for Variable Separation},\n School = {Universit{\\\"a}t Bern},\n Address = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n url = {2005/wir05.pdf},\n year = 2005\n}\n\n","author_short":["Wirz, M."],"key":"wir05","id":"wir05","bibbaseid":"wirz-wellorderingtwosortsaslowgrowingprooftheoryforvariableseparation-2005","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2005/wir05.pdf"},"downloads":0},"bibtype":"phdthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.035Z","downloads":0,"keywords":[],"search_terms":["wellordering","two","sorts","slow","growing","proof","theory","variable","separation","wirz"],"title":"Wellordering Two Sorts: A Slow-Growing Proof Theory for Variable Separation","year":2005,"dataSources":["jFQMeatnEb8qn3qdH"]}