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!
|
| descripción de la copia: | "This book is a product of two seminars held in the IBM World Trade European Education Center of Blaricum (Holland) in 1961." --Preface. |
|---|---|
| Descripción Física: | vi, 161 p. ; 22 cm. |