Lógica: a fronteira entre matemática e filosofia
Projetos de matematização da lógica apresenta e analisa a trajetória da matematização da lógica, de seus precursores à atualidade, adotando uma abordagem objetiva, que apresenta os fatos e as teorias de forma clara e concisa. Continuar lendo Lógica: a fronteira entre matemática e filosofia