Proof, logic, and formalization
| Otros autores: | |
|---|---|
| Formato: | Electrónico |
| Idioma: | English |
| Fecha de publicación: |
London ; New York :
Routledge,
1992.
|
| Materias: | |
| Acceso en línea: | https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=155840 |
| Descripción física: | x, 241 p. : ill. |
|---|---|
| Bibliografía: | Includes bibliographical references and index. |