Refine your search
Availability
-
Authors
- Chaitin, Gregory J.
- Davis, Martin
- Hirst, Keith
- Kelley, Dean
- Kelly, John J.
- Kolman, Bernard
- Lewis, Harry R.
- Martin, John C.
- Mendelson, Elliott
- Morris, C.
- Nelsen, Roger B.
- Nerode, Anil
- Shore, Richard A.
- Sigal, Ron
- Stewart, Ian
- Tall, David Orme
- Turing, Sara
- Vince, A.
- Vince, John
- Weyuker, Elaine J.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra, Boolean
- Automatic control
- Computable functions
- Computational comple...
- Computer programming...
- Computer science
- Computers and IT.
- Computing & informat...
- Educational: Mathema...
- Electronic data proc...
- Formal languages
- Logic programming
- Logic, Symbolic and ...
- Machine theory
- Mathematical logic
- Mathematical theory ...
- Mathematics
- Programming & script...
- Sequential machine t...
- Show more
- Show less