Labelled deductive systems
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Clarendon Press
1996
|
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b13085062*spi |
| Descripción Física: | v. I (XIII, 497 p.) ; 24 cm |
|---|---|
| ISBN: | 9780198538332 |
