Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Guardado en:
Autores Corporativos: | , , , , |
---|---|
Otros Autores: | , |
Formato: | Libro |
Idioma: | English |
Publicado: |
Amsterdam :
North-Holland,
1965.
|
Series: | Studies in logic and the foundations of mathematics
|
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
BIB. MATEMATICA
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura: 03 L832c-8
Signatura: 03 L832c-8