Proof procedures for multiple-valued propositional logics
| Autor principal: | |
|---|---|
| Formato: | Tesis |
| Idioma: | Inglés |
| Publicado: |
Bellaterra, Barcelona :
Universitat Autònoma, Servei de Publicacions
1998
|
| Colección: | Publicacions de la Universitat Autònoma de Barcelona. Tesi doctoral
|
| Materias: | |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b20246201*spi |
| Descripción Física: | 1 microficha ; 11 x 15 cm + 1 foll. (7 p. ; 18 cm) |
|---|---|
| ISBN: | 9788449009471 |
