@article{734362,
      recid = {734362},
      author = {Kahle, Reinhard, and Rathjen, Michael,},
      title = {Gentzen's centenary the quest for consistency /  [electronic resource] :},
      pages = {1 online resource (x, 561 pages)},
      url = {http://library.usi.edu/record/734362},
      doi = {https://doi.org/10.1007/978-3-319-10103-3},
}