Recursive equivalence types /

Detalles Bibliográficos
Autores principales: Dekker, Jacob C.E. 1921 - (Autor, Autor/a), Myhill, J. (Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berkeley, Calif. : University of California Press, 1960.
Materias:
Descripción
Notas:Separata de: "University of California publications in mathematics, new series". v. 3. n. 3.
Descripción Física:67-213 páginas : ilustraciones ; 26 cm