Computabilityde Richard L. Epstein, Walter A. CarnielliMateriasComputable functionsGödel's theoremLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematical logicMathematical theory of computationScience/MathematicsLogic, Symbolic and mathematicMathematical And Symbolic Logic