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!
|
Ejemplares similares
-
Recursive function theory and logic. /
por: Yasuhara, Ann.
Publicado: (1971) -
Recursive functions /
por: Péter, Rózsa, 1905-1977.
Publicado: (1967) -
Recursive functions /
por: Péter, Rózsa, 1905-
Publicado: (1967) -
Theory of recursive functions and effective computability /
por: Rogers, H. 1926-
Publicado: (1967) -
Computability, an introduction to recursive function theory /
por: Cutland, Nigel.
Publicado: (1980)
