|
|
Biblioteca Dr. Antonio Monteiro · Catálogo |
| LDR | ·····cam##22·····5a#4500 |
| 001 | 003928 |
| 005 | 20160526163228.0 |
| 008 | 840501s1965####ne#######b####100#0#eng## |
| 245 | 10 | $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 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com