HISTORIA DE LA LOGICA FORMAL (MADRID :GREDOS, 1966)