Theory of Pairs, Part I: Provably Recursive Functions IDTR-84-25AuthorsPaul J. VodaPublishing dateJanuary 1984File(s)TR-84-25.pdf