Computer programming and formal systems /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
North-Holland,
1963.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00771nam a22001935a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb001356 | ||
| 008 | 031124s1963####ne############000#0#eng#d | ||
| 005 | 20160606170230.0 | ||
| 245 | 1 | 0 | |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 | ||
| 859 | |h 68 |i C738p |p A-1023 |b BIB. MATEMATICA | ||