| Date of Award | 1 Jan 1997 |
|---|---|
| Original language | Undefined/Unknown |
| Supervisor | Enric Marti Godia (Tutor) & Gonzalo Escalada Imaz (Director) |
Proof procedures for multiple-valued propositional logics
Student thesis: Doctoral thesis