Enumerability, Decidability, Computability
by Hans Hermes, Gabor T. Herman, O. Plassmann
Recursive functionsAlgorithmsComputable functionsGoedel's theoremMathematicsMathematics, general
Writing a summary for young readers…
For young readers
Book data: Open Library