Esta obra permite-nos ver, de forma sintética, as etapas fundamentais da lógica, os campos por ela abrangidos e a estrutura da linguagem lógica.