Formal systems and recursive functions proceedings of the eighth Logic Colloquium

Detalles Bibliográficos
Autores Corporativos:	Logic Colloquium (-), Association for Symbolic Logic, Organización del Tratado del Atlántico Norte, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, Symposium on Recursive Functions
Otros Autores:	Crossley, John N. (-), Dummett, Michael, 1925-2011
Formato:	Libro
Idioma:	Inglés
Publicado:	Amsterdam : North-Holland 1965
Colección:	Studies in Logic and the Foundations of Mathematics
Ver en Universidad de Navarra:	https://innopac.unav.es/record=b14630047*spi

Descripción
Notas:	Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science
Descripción Física:	320 p. ; 23 cm
Bibliografía:	Incluye bibliografía

Ejemplares similares