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