@BOOK{Koh08a,
  title = {Applied Proof Theory: Proof Interpretations and their Use in Mathematics},
  publisher = {Springer},
  year = {2008},
  author = {Kohlenbach, Ulrich},
  address = {Berlin},
  keywords = {bib,pro}
}

{"_id":"4MEbNPa2iXRiLbzWL","bibbaseid":"kohlenbach-appliedprooftheoryproofinterpretationsandtheiruseinmathematics-2008","authorIDs":[],"author_short":["Kohlenbach, U."],"bibdata":{"bibtype":"book","type":"book","title":"Applied Proof Theory: Proof Interpretations and their Use in Mathematics","publisher":"Springer","year":"2008","author":[{"propositions":[],"lastnames":["Kohlenbach"],"firstnames":["Ulrich"],"suffixes":[]}],"address":"Berlin","keywords":"bib,pro","bibtex":"@BOOK{Koh08a,\r\n title = {Applied Proof Theory: Proof Interpretations and their Use in Mathematics},\r\n publisher = {Springer},\r\n year = {2008},\r\n author = {Kohlenbach, Ulrich},\r\n address = {Berlin},\r\n keywords = {bib,pro}\r\n}\r\n\r\n","author_short":["Kohlenbach, U."],"key":"Koh08a","id":"Koh08a","bibbaseid":"kohlenbach-appliedprooftheoryproofinterpretationsandtheiruseinmathematics-2008","role":"author","urls":{},"keyword":["bib","pro"],"downloads":0},"bibtype":"book","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.845Z","downloads":0,"keywords":["bib","pro"],"search_terms":["applied","proof","theory","proof","interpretations","use","mathematics","kohlenbach"],"title":"Applied Proof Theory: Proof Interpretations and their Use in Mathematics","year":2008,"dataSources":["t7rKiAbxugj4Agz8M"]}