@article{448199,
      author = {Cupillari, Antonella.},
      url = {http://library.usi.edu/record/448199},
      title = {The nuts and bolts of proofs [electronic resource] /},
      publisher = {Elsevier Academic Press,},
      recid = {448199},
      pages = {xii, 179 p. :},
      address = {Amsterdam ;},
      year = {2005},
}