Iniciación a lógica y conjuntos - DIENES, Z.P. (TEIDE, 1970)