Theory of Pairs, Part I: Provably Recursive Functions ID TR-84-25 Authors Paul J. Voda Publishing date January 1984 File(s) TR-84-25.pdf