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 |