Formal Logic expõe princípios da lógica simbólica e do raciocínio formal, com exemplos de proposições, conectivos e deduções.

Na obra, o autor discute regras de inferência e provas formais, tratando de quantificadores, implicação e relações entre sentenças; a análise inclui exemplos aplicados ao cálculo proposicional.

Texto que situa contribuições ao desenvolvimento da lógica simbólica e contrapõe métodos clássicos e simbólicos para elucidar procedimentos de demonstração.