検索結果 - "Recursion theory."

Recursion theory : computational aspects of definability / 著者: Chong, C.-T. (Chi-Tat), 1949-, Yu, Liang

主題: “…Recursion theory.…”
An electronic book accessible through the World Wide Web; click to view

Recursion theory for metamathematics 著者: Smullyan, Raymond M.

主題: “…Recursion theory.…”
An electronic book accessible through the World Wide Web; click to view

Computational prospects of infinity

主題: “…Recursion theory Congresses.…”
An electronic book accessible through the World Wide Web; click to view