Cuando el estudio de las matemáticas revivió en la Universidad de Cambridge, también lo hizo el estudio de la lógica.