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