Describir: Mátematica discreta y lógica (CD-ROM) /