Suggested Topics within your search.
Suggested Topics within your search.
Computable functions
Machine theory
3
Recursion theory
3
Logic, Symbolic and mathematical
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
Functionals
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
-
2
-
3
-
4
-
5
-
6
-
7by Shen, A. (Alexander), 1958-
Published 2003Book -
8by Rich, Elaine
Published 2008Book -
9
-
10by Cutland, Nigel
Published 1980Book -
11
-
12
-
13
-
14Book
-
15by Lewis, Harry R.
Published 1979Book