Proof, logic, and formalization
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
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 |
| Ver en Universidad Loyola - Universidad Loyola Granada: | https://colectivo.uloyola.es/Record/ELB155840 |
Solicitar por préstamo interbibliotecario:
Correo
| Descripción Física: | x, 241 p. : ill |
|---|---|
| Bibliografía: | Includes bibliographical references and index. |
