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. .