Title: Formal systems and recursive functions
Subjects: Symbolic and mathematical Logic, Recursive functions