Recursive equivalence types /

Bibliographic Details

Main Author:	Dekker, J. C. E. (Jacob C. E.), 1921-
Other Authors:	Myhill, John, 1923-1987
Format:	Book
Language:	English
Published:	Berkeley, Los Angeles : University of California Press, 1960.
Series:	University of California publications in mathematics ; new ser., v. 3, no. 3.