Sánchez-Mazas fue uno de los pensadores españoles más originales del s. XX. Su obra se centra en la Lógica formal, con dedicación especial a la lógica de normas y deóntica, informática aplicada a la jurisprudencia, el pensamiento de Leibniz y la Filosofía en general. Escribió además multitud de artículos de pensamiento político, ético, cultural... manifestación de su empeño en plasmar un mundo de libertad y convivencia. Este volumen recoge algunos trabajos desde 1951 a 1998 dedicados a Leibniz, la Lógica formal y su aritmetización, trabajos que conllevan un dominio técnico y un profundo conocimiento del pensamiento de Leibniz.