@book{Kohlenbach:08a,
  series = {Springer Monographs in Mathematics},
  year = 2008,
  pages = {xx+536 pp.},
  title = {Applied Proof Theory: Proof Interpretations and their Use in
           Mathematics},
  publisher = {Springer Verlag},
  author = {Kohlenbach, Ulrich},
}