Title: Recursion theory
Subjects: Congresses, Recursion theory, Recursive functions, Logic, symbolic and mathematical