Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Computable functions
- Data processing 2
- Machine theory 2
- Mathematics 2
- Proof theory 2
- Computational intelligence 1
- Computer-assisted instruction 1
- Decidability (Mathematical logic) 1
- Functional programming languages 1
- Logic, Symbolic and mathematical 1
- Nonclassical mathematical logic 1
- Philosophy 1
- Recursively enumerable sets 1
- Reverse mathematics 1
- Set theory 1
- Unsolvability (Mathematical logic) 1
-
1
Symbolic computation and education
Published 2007Full text (MFA users only)
Electronic Conference Proceeding eBook -
2
Computability in context : computation and logic in the real world
Published 2011Full text (MFA users only)
Electronic eBook -
3
-
4
-
5
-
6
-
7
Computability Theory and Its Applications : Current Trends and Open Problems.
Published 2000Full text (MFA users only)
Electronic eBook -
8
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
Published 2017Full text (MFA users only)
Electronic eBook -
9
Minimal weak truth table degrees and computably enumerable Turing degrees
Published 2020Full text (MFA users only)
Electronic eBook -
10
Three Views of Logic : Mathematics, Philosophy, and Computer Science.
Published 2014Full text (MFA users only)
Electronic eBook