Refine your search
Availability
-
Authors
- Cutland, Nigel. (1)
- Edmonds, Jeff, (1)
- Shoenfield, Joseph R... (1)
- Smullyan, Raymond M. (2)
-
Collections
-
Holding libraries
-
Item types
- Main Collection (4)
-
Series
-
Topics
- Algorithms (1)
- Computable functions... (1)
- Logic, Symbolic and ... (1)
- Recursion theory (1)
- Recursion theory. (4)
- Show more