Cover Image

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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA1 .C3 n.s., vol. 3, no. 3
 
Call Number Status Get It
QA1 .C3 n.s., vol. 3, no. 3 Available