Lógica – Teorias e Técnicas
História da quantificação – 2ª Parte: Os quantificadores modernos
Diego Fernandes