La comunidad matemática de Princeton en la década de 1930: Iglesia Alonzo. Kurt Gödel y los fundamentos de las matemáticas: horizontes de la verdad. En Las obras colectadas de la iglesia de Alonzo, ed...La comunidad matemática de Princeton en la década de 1930: Iglesia Alonzo. Kurt Gödel y los fundamentos de las matemáticas: horizontes de la verdad. En Las obras colectadas de la iglesia de Alonzo, eds. Cosas que te perdiste en la clase de historia: Emmy Noether, pionero de las matemáticas. Oxford: Prensa de la Universidad de Oxford. Princeton: Prensa de la Universidad de Princeton. Cambridge: Prensa de la Universidad de Cambridge. Memorias de un teórico de la prueba: Gödel y otros logísticos.