Formal systems and recursive functions proceedings of the eighth Logic Colloquium
Autores Corporativos: | , , , , |
---|---|
Otros Autores: | , |
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 |
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 |