Formal systems and recursive functions : proceedings of the eighth Logic Colloquium

Formal systems and recursive functions proceedings of the eighth Logic Colloquium

Detalles Bibliográficos
Autores Corporativos: Logic Colloquium (-), Association for Symbolic Logic, OTAN, 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://unika.unav.edu/discovery/fulldisplay?docid=alma991000490889708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
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