Prezados: solicito me indiquem algum livro "básico", com o qual apresentar sequentes e dedução natural a alunos de Matemática da graduação. Portanto, seria bom que o livro, mesmo sendo básico, possua um formalismo mínimo. E também (se for possível), que apresente algumas meta-demonstrações.
De momento, estou usando "Logic for Computer Science", de S. Reeves and M. Clarke, mas acho ele informal demais. Agradeço cualquer dica de vcs! Obrigado. Víctor Fernández _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
