En el campo de la historia de la lógica, Mosterín ha efectuado la primera edición de las obras completas de Kurt Gödel en cualquier lengua.