Computability and logic /

類似資料

• Computability and logic /
  著者:: Boolos, George S.
  出版事項: (2002)
• Computational Complexity-A Modern Approach.
  著者:: Arora,Sanjeev, 等
  出版事項: (2009)
• Recursive functions.-3rd ed.
  著者:: Peter, Rozsa
  出版事項: (1967)
• Recursively enumerable sets and degrees.
  著者:: Soare, Robert J.
  出版事項: (1987)
• Logic, sets and recursion
  著者:: Causey, Robert L; Author
  出版事項: (2010)