Theory of Pairs, Part I: Provably Recursive Functions

ID
TR-84-25
Authors
Paul J. Voda
Publishing date
January 1984