Proof Procedures for Multiple-Valued Propositional Logics

Autor: Felip Manyà
Universidad:
Director: Gonzalo E. Imaz
Año: 1996
Resumen: