(1)
Moura, L. Métodos Lógicos. RDV 2003, 4, 14-17.