Salve, Victor: Você encontrará dedução natural, sequentes, tableaux e cálculos de Hilbert no nosso material:
http://www.dimap.ufrn.br/%7Ejmarcos/courses/LC/Ementa.htm Estamos trabalhando em uma versão brasileira deste material, a ser publicada em breve. Comentários são bem-vindos! JM On Aug 28, 2013 4:04 PM, "victor leandro fernandez" <[email protected]> wrote: > 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 > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
