Computability theory : an introduction to recursion theory

著者: Enderton, Herbert (1936-2010).
出版事項 2010