Trelles, Óscar. Filosofía, Lógica Y Computación. ESTFIL 1991, 87.