Cargando…
The logical basis for computer programming
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Publicado: |
Reading, Mass.
: Addison-Wesley,
c1985
|
| Materias: |
Tabla de Contenidos:
- v. 1. Deductive reasoning.
- v. 2. Deductive systems