Refine your search
Availability
-
Authors
- Anderson, James A (1)
- Arora, Sanjeev (1)
- Barak, Boaz (1)
- Head, Thomas J. (1)
- Hein, James L (1)
- Martin,John C. (1)
- Weber, Rebecca (1)
- Show more
- Show less
-
Collections
- Non-fiction (1)
-
Holding libraries
- Central Library (5)
-
Item types
- Books (5)
-
Locations
- General stacks (1)
-
Topics
- Automata (1)
- Computable functions (1)
- Formal languages (1)
- Turing machines (1)
-
Titles
- Computability (1)
- Computable functions (2)
- Computational comple... (1)
- Mathematical logic (1)
- Recursion theory (1)