Arithmetizing proofs in analysis. Kohlenbach, U. In Larrazabal, J., Lascar, D., & Mints, G., editors, Logic Colloquium '96, volume 12, pages 115–158, Berlin, 1997. Springer. Proceedings of the Colloquium held in Sebastián, Spain, July 9–15, 1996bibtex @INPROCEEDINGS{Koh97,
author = {Kohlenbach, Ulrich},
title = {Arithmetizing proofs in analysis},
booktitle = {Logic Colloquium '96},
year = {1997},
editor = {Larrazabal, J.M. and Lascar, D. and Mints, G.},
volume = {12},
series = LNL,
pages = {115--158},
address = {Berlin},
publisher = {Springer},
note = {Proceedings of the Colloquium held in Sebasti\'{a}n, Spain, July
9--15, 1996},
keywords = {bib,cca}
}
Downloads: 0
{"_id":"GP6FHmFHpMRirZF9m","bibbaseid":"kohlenbach-arithmetizingproofsinanalysis-1997","authorIDs":[],"author_short":["Kohlenbach, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kohlenbach"],"firstnames":["Ulrich"],"suffixes":[]}],"title":"Arithmetizing proofs in analysis","booktitle":"Logic Colloquium '96","year":"1997","editor":[{"propositions":[],"lastnames":["Larrazabal"],"firstnames":["J.M."],"suffixes":[]},{"propositions":[],"lastnames":["Lascar"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Mints"],"firstnames":["G."],"suffixes":[]}],"volume":"12","pages":"115–158","address":"Berlin","publisher":"Springer","note":"Proceedings of the Colloquium held in Sebastián, Spain, July 9–15, 1996","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Koh97,\r\n author = {Kohlenbach, Ulrich},\r\n title = {Arithmetizing proofs in analysis},\r\n booktitle = {Logic Colloquium '96},\r\n year = {1997},\r\n editor = {Larrazabal, J.M. and Lascar, D. and Mints, G.},\r\n volume = {12},\r\n series = LNL,\r\n pages = {115--158},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {Proceedings of the Colloquium held in Sebasti\\'{a}n, Spain, July\r\n\t9--15, 1996},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Kohlenbach, U."],"editor_short":["Larrazabal, J.","Lascar, D.","Mints, G."],"key":"Koh97","id":"Koh97","bibbaseid":"kohlenbach-arithmetizingproofsinanalysis-1997","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.849Z","downloads":0,"keywords":["bib","cca"],"search_terms":["arithmetizing","proofs","analysis","kohlenbach"],"title":"Arithmetizing proofs in analysis","year":1997,"dataSources":["t7rKiAbxugj4Agz8M"]}