Study on the theory of partial recursive and recursive functions in mathematics and computer science. Covers algorithms, computation theory, mathematical logic, and analysis