Trelles, Óscar. Filosofía, lógica Y computación. ESTFIL 1991, 87.