También se ha ocupado de los aspectos históricos y biográficos del desarrollo de la lógica moderna, como muestra su original obra sobre G.