Title: Proofs and Computations (Perspectives in Logic)
Subjects: Computable functions, Proof theory, Logic, symbolic and mathematical