Dekker, J. C. E.  1921- <br/><br/>
Recursive equivalence types / 
by J. C. E. Dekker and J. Myhill. 
 - Berkeley ;  Los Angeles :  University of California Press,  1960. 
 - 67-213 p.  26 cm. 
 - University of California publications in mathematics,  v. 3, no. 3 .
 - 512.8 .
<br/><br/>Bibliography: p. 208-209. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Recursive functions.
<br/><br/><label>Dewey Class. No.: </label>512.8