Lógica e aritmética : uma introdução informal aos métodos formais - Augusto Franco de Oliveira (Gradiva, 1991)