Prezado Victor,
Eu gosto muito do livro:
@book{DBLP:books/daglib/0005072,
author = {Sara Negri and
Jan von Plato},
title = {Structural proof theory},
publisher = {Cambridge University Press},
year = {2001},
isbn = {978-0-521-79307-0},
pages = {I-XVII, 1-257},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Eu tenho também umas notas (antigas e mal acabadas) sobre o assunto em
http://www.mat.ufmg.br/~elaine/IC/fundmat.pdf
Devo avisar que não edito mais esse texto desde 2008.
Abraços,
Elaine.
2013/8/28 Décio Krause <deciokra...@gmail.com>
> 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 <vlfer...@yahoo.com>
> 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
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
> _______________________________________________
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
--
Elaine.
-------------------------------------------------
Elaine Pimentel - DMat/UFMG
Address: Departamento de Matematica
Universidade Federal de Minas Gerais
Av Antonio Carlos, 6627 - C.P. 702
Pampulha - CEP 30.161-970
Belo Horizonte - Minas Gerais - Brazil
Phone: 55 31 3409-5970/3409-5994
Fax: 55 31 3409-5692
htps://sites.google.com/site/elainepimentel/
--------------------------------------------------------
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
