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. XIX, com a lógica matemática e a lógica simbólica. O estudo dos sistemas é conduzido até aos nossos dias e inclui uma apresentação das teorias de Frege, Russel, Carnap, Quine e Tarski, bem como de Gödel, Brouwer ou ainda Gentzen.