Refine your search
Availability
-
Authors
- Arora, Sanjeev (1)
- Barak, Boaz (1)
- Hein, James L (1)
- Martin,John C. (1)
- Weber, Rebecca (1)
-
Holding libraries
- Central Library (4)
-
Item types
- Books (4)
-
Titles
- Computability (1)
- Computable functions (2)
- Computational comple... (1)
- Mathematical logic (1)
- Recursion theory (1)