Recursive equivalence types
By: by J. C. E. Dekker and J. Myhill.
Contributors: Myhill, John, joint author.
Series: University of California publications in mathematics,; new ser., v. 3, no. 3
Publisher: University of California Press
Published: 1960
Place of publication: Berkeley
Language: eng
Number of pages: 213
Subjects: Recursive functions.
Notes: Bibliography: p. 208-209.