by Alexander Shen, Nikolay Vereshchagin
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Computable functions · Logic, Symbolic and mathematical
Computability and logic
1974
Algorithms · Computable functions
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
1961
Computable functions · Computer science
Discrete structures, logic, and computability
1994
Computational complexity · Computer science
Computability and complexity theory
2001
Computable functions · Recursive functions
Computability & unsolvability
1958
Theory of recursive functions and effective computability
1957
Machine theory · Computable functions
Automata and Computability
2012
Categories (mathematics) · Computable functions
Invitation to Applied Category Theory
2019
