Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPYP284MB1431030B6BC80FBD34A0B86CB6949%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM.
Instituto de Matemática e Estatística,
Universidade de São Paulo
Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP