@article{847396,
      author = {Schwichtenberg, Helmut, and Wainer, S. S.},
      url = {http://library.usi.edu/record/847396},
      title = {Proof and computations [electronic resource] /},
      publisher = {Cambridge University Press,},
      recid = {847396},
      pages = {xiii, 465 p. :},
      address = {Cambridge :},
      year = {2012},
}