@article{290085,
      recid = {290085},
      author = {Boolos, George. and Burgess, John P., and Jeffrey, Richard  C.},
      title = {Computability and logic [electronic resource].},
      publisher = {Cambridge University Press,},
      address = {Cambridge ;},
      pages = {1 online resource (xi, 356 p.) :},
      year = {2002},
      url = {http://library.usi.edu/record/290085},
}