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 las vidas de Gottlob Frege, Georg Cantor, Bertrand Russell, John von Neumann, Kurt Gödel y Alan Turing, entrelazadas con el análisis formal de sus principales contribuciones técnicas.