Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····nam##22·····5a#4500 |
001 | 001356 |
005 | 20160606170230.0 |
008 | 031124s1963####ne############000#0#eng#d |
245 | 10 | $a Computer programming and formal systems / $c edited by P. Braffort and D. Hirschberg. |
260 | ## | $a Amsterdam : $b North-Holland, $c 1963. |
300 | ## | $a vi, 161 p. ; $c 22 cm. |
440 | #0 | $a Studies in logic and the foundations of mathematics |
500 | ## | $a "This book is a product of two seminars held in the IBM World Trade European Education Center of Blaricum (Holland) in 1961." --Preface. |
510 | 4# | $a MR, $c 26 #3225 |
700 | 1# | $a Braffort, P. $4 edt |
700 | 1# | $a Hirschberg, D. $4 edt |
084 | ## | $a 68-06 (68Qxx 03Dxx) $2 msc2000 |
010 | ## | $a ###63003816# |
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