Lemmon? ________________________________
Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ________________________________ Em 28/08/2013, às 10:03, victor leandro fernandez <[email protected]> escreveu: > 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
