Truth, deduction, and computation : logic and semantics for computer science
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Nueva York :
Computer Scienc
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | 103 p. |
| ISBN: | 0716782014 |