Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Guardado en:
| Autores Corporativos: | , , , , |
|---|---|
| Otros Autores: | , |
| 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!
|
| LEADER | 01610cam a22003135a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003928 | ||
| 008 | 840501s1965####ne#######b####100#0#eng## | ||
| 005 | 20160526163228.0 | ||
| 245 | 1 | 0 | |a Formal systems and recursive functions : |b proceedings of the Eighth Logic Colloquium, Oxford, July 1963 / |c edited by J. N. Crossley and M. A. E. Dummett. |
| 260 | |a Amsterdam : |b North-Holland, |c 1965. | ||
| 300 | |a 320 p. ; |c 23 cm. | ||
| 440 | 0 | |a Studies in logic and the foundations of mathematics | |
| 500 | |a Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute. | ||
| 500 | |a 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. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 510 | 4 | |a MR, |c 31 #4722 | |
| 111 | 2 | |a Logic Colloquium |n (8º : |d 1963 : |c Oxford, Inglaterra) | |
| 700 | 1 | |a Crossley, John N. |4 edt | |
| 700 | 1 | |a Dummett, Michael A. E. |4 edt | |
| 710 | 2 | |a Association for Symbolic Logic. | |
| 710 | 2 | |a North Atlantic Treaty Organization. | |
| 711 | 2 | |a Symposium on Recursive Functions |d (1963 : |c Oxford, Inglaterra) | |
| 710 | 2 | |a International Union of the History and Philosophy of Science. |b Division of Logic, Methodology and Philosophy of Science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Recursive functions. | |
| 084 | |a 03-06 (03Dxx 03Exx 03Fxx) |2 msc2000 | ||
| 010 | |a 66002289 | ||
| 040 | |a DLC |c ICU |d DLC | ||
| 859 | |h 03 |i L832c-8 |p A-2649 |b BIB. MATEMATICA | ||