Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /

Guardado en:
Autores Corporativos: Logic Colloquium Oxford, Inglaterra), Association for Symbolic Logic., North Atlantic Treaty Organization., Symposium on Recursive Functions, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Otros Autores: Crossley, John N. (Editor ), Dummett, Michael A. E. (Editor )
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