@INPROCEEDINGS{Koh96,
  author = {Kohlenbach, Ulrich},
  title = {Analysing Proofs in Analysis},
  booktitle = {Logic: from Foundations to Applications},
  year = {1996},
  editor = {Hodges, Wilfried and Hyland, Martin and Steinhorn, Charles and Truss,
	John},
  pages = {225--260},
  address = {Oxford},
  publisher = {Clarendon Press},
  note = {European Logic Colloquium},
  keywords = {bib,cca}
}

{"_id":"4ykf5suezr7ebEovn","bibbaseid":"kohlenbach-analysingproofsinanalysis-1996","authorIDs":[],"author_short":["Kohlenbach, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kohlenbach"],"firstnames":["Ulrich"],"suffixes":[]}],"title":"Analysing Proofs in Analysis","booktitle":"Logic: from Foundations to Applications","year":"1996","editor":[{"propositions":[],"lastnames":["Hodges"],"firstnames":["Wilfried"],"suffixes":[]},{"propositions":[],"lastnames":["Hyland"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Steinhorn"],"firstnames":["Charles"],"suffixes":[]},{"propositions":[],"lastnames":["Truss"],"firstnames":["John"],"suffixes":[]}],"pages":"225–260","address":"Oxford","publisher":"Clarendon Press","note":"European Logic Colloquium","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Koh96,\r\n author = {Kohlenbach, Ulrich},\r\n title = {Analysing Proofs in Analysis},\r\n booktitle = {Logic: from Foundations to Applications},\r\n year = {1996},\r\n editor = {Hodges, Wilfried and Hyland, Martin and Steinhorn, Charles and Truss,\r\n\tJohn},\r\n pages = {225--260},\r\n address = {Oxford},\r\n publisher = {Clarendon Press},\r\n note = {European Logic Colloquium},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Kohlenbach, U."],"editor_short":["Hodges, W.","Hyland, M.","Steinhorn, C.","Truss, J."],"key":"Koh96","id":"Koh96","bibbaseid":"kohlenbach-analysingproofsinanalysis-1996","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.847Z","downloads":0,"keywords":["bib","cca"],"search_terms":["analysing","proofs","analysis","kohlenbach"],"title":"Analysing Proofs in Analysis","year":1996,"dataSources":["t7rKiAbxugj4Agz8M"]}