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, 1996
bibtex   
@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