Computability
by Richard L. Epstein, Walter A. Carnielli
Computable functionsGödel's theoremLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematical logicMathematical theory of computationScience/MathematicsLogic, Symbolic and mathematic
Writing a summary for young readers…
For young readers
Book data: Open Library