@article{767530,
      recid = {767530},
      author = {Chong, C.-T. and Yu, Liang,},
      title = {Recursion theory : computational aspects of definability  /},
      pages = {1 online resource (322 pages) :},
      url = {http://library.usi.edu/record/767530},
}