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