Recursive equivalence types - Dekker, Jacob C.E. 1921 -; Myhill, J. (Berkeley, Calif. : University of California Press, 1960)
Separata de: "University of California publications in mathematics, new series". v. 3. n. 3.
Keywords: FUNCIONES RECURSIVAS