Logica condicional forte - Nalon, Cláudia (1997)
Orientador: Jacques Wainer