Recursive Equivalence Types. By J C. E. Dekker and J. Myhill. 1960. University of California Publications in Mathematics. N.S. Vol. 3 No. 3, pp. 67–214).
Open Access
- 1 February 1962
- journal article
- Published by Cambridge University Press (CUP) in The Mathematical Gazette
- Vol. 46 (355) , 85-86
- https://doi.org/10.2307/3613142
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: