Refine your search
- Availability
-
Authors
- Barrow,John D. (1)
- Davis, Martin (1)
- Davis, Martin, Ed. (1)
- Lucas, J. R. (1)
- Holding libraries
- Home libraries
-
Item types
- Books (3)
-
Topics
- Godel'S Theorem (2)
- Godel's theorem (1)
- Limit (Logic) (1)
- Recursive functions (1)
- Science -- Philosophy (1)
- Show more