The logical basis for computer programming
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Reading :
[S.n.],
c1985-1990
|
| Series: | Addison-Wesley series in computer science
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Volumen I: Deductive reasoning. Volumen II: Deductive systems |
| Descripción Física: | 2 v. ; 23 cm. |
| ISBN: | 0201182602 (v.1) |