Penetrante reflexão, elaborada ao longo de dez anos, sobre questões da lógica.