Com grande clareza, aqui se expõem os caminhos da ciência da Lógica e se precisam os contributos sucessivos dos filósofos e dos matemáticos: a Antiguidade, com Aristóteles; a Idade Média com Abelardo e Guilherme de Occam; o período depois de meados do séc