Dekker, Jacob C. E., 1921-

Recursive equivalence types/ by J. C. E. Dekker and J. Myhill. - Berkeley: University of California Press, 1960. - 67-213 p.: 26 cm. - University of California publications in mathematics, new ser., v. 3, no. 3. . - University of California, Berkeley. University of California publications in mathematics. new ser., v. 3, no. 3.. . - University of California publications in mathematics new ser., v. 3, no. 3. .

Bibliography: p. 208-209.

60064320


Recursive functions

511.3 / D328r