@article{708628,
      author = {Schindler, Ralf.},
      url = {http://library.usi.edu/record/708628},
      title = {Ways of proof theory [electronic resource] /},
      publisher = {Ontos Verlag,},
      recid = {708628},
      pages = {v, 486 p. :},
      address = {Frankfurt ;},
      year = {2010},
}