@article{1385509,
      author = {Copeland, B. Jack, and Posy, Carl J., and Shagrir, Oron,},
      url = {http://library.usi.edu/record/1385509},
      title = {Computability : Turing, Gödel, Church, and beyond /},
      publisher = {The MIT Press,},
      recid = {1385509},
      pages = {1 online resource},
      address = {Cambridge, Massachusetts :},
      year = {2013},
}