Refine your search
- Availability
-
Authors
- Davis, Martin (1)
- Davis, Martin, Ed. (1)
- Holding libraries
- Home libraries
-
Item types
- Books (3)
-
Topics
- Godel's theorem (1)
- Nucleotides (Analyticals) (2)
- Recursive functions (1)
- Turning machines (1)