@article{1414694,
      author = {Goranko, Valentin,},
      url = {http://library.usi.edu/record/1414694},
      title = {Logic as a tool : a guide to formal logical reasoning /},
      recid = {1414694},
      pages = {1 online resource (383 pages) :},
}