| Fecha de lectura | 1 ene 1997 |
|---|---|
| Idioma original | Indefinido/desconocido |
| Supervisor | Enric Marti Godia (Tutor/a) & Gonzalo Escalada Imaz (Director/a) |
Proof procedures for multiple-valued propositional logics
Tesis doctoral