Your search returned 5 results.

Not what you expected? Check for suggestions
|
Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan.

by Smullyan, Raymond M | ebrary, Inc.

Publisher: New York : Oxford University Press, 1993Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
How to think about algorithms / Jeff Edmonds.

by Edmonds, Jeff, 1963-.

Publisher: Cambridge ; New York : Cambridge University Press, 2008Availability: Items available for loan: Taylor's Library-TU [Call number: 518.1 EDM] (1).
Computability : an introduction to recursive function theory / N. J. Cutland.

by Cutland, Nigel.

Publisher: Cambridge : Cambridge University Press, 1980Availability: Items available for loan: Taylor's Library-TU [Call number: 005.131 CUT] (1).
Diagonalization and self-reference / Raymond M. Smullyan

by Smullyan, Raymond M.

Publisher: Oxford, U.K. : Clarendon Press, 1994Availability: Items available for loan: TC External Storage [Call number: 511.3 SMU] (1).