Computability: Turing, Godel, Church, and Beyond

作者:Cook Roy T*
来源:Philosophia Mathematica, 2014, 22(3): 412-413.
DOI:10.1093/philmat/nku016
  • 出版日期2014-10

全文