Proof Procedures for Multiple-Valued Propositional Logics

Autor: Felip Manyà
Universitat:
Director: Gonzalo E. Imaz
Any: 1996
Resum: