Suggested Topics within your search.
Suggested Topics within your search.
Computable functions
Machine theory
3
Logic, Symbolic and mathematical
2
Recursion theory
2
Algorithms
1
Combinatorial analysis
1
Computational complexity
1
Computer science
1
Data structures (Computer science)
1
Electronic data processing
1
Electronic digital computers
1
Logic programming
1
Mathematics
1
Nonclassical mathematical logic
1
Programming
1
Programming languages (Electronic computers)
1
Proof theory
1
Recursive functions
1
Turing machines
1
Unsolvability (Mathematical logic)
1
-
1
-
2by Shen, A. (Alexander), 1958-
Published 2003Book -
3
-
4
-
5by Rich, Elaine
Published 2008Book -
6
-
7by Cutland, Nigel
Published 1980Book -
8
-
9
-
10
-
11Book
-
12
-
13
-
14by Lewis, Harry R.
Published 1979Book