[obm-l] Re: [obm-l] Livro de lógica

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Tue, Mar 16, 2004 at 11:23:37AM -0300, Daniel Silva Braz wrote:
> Alguém ai conhece um livro bom de lógica??
> ..algo mais "profundo" que o do Alencar e mais
> "simbólico" que o Copi..

Eu não conheço estes livros que você citou, então talvez o que
eu vá dizer seja totalmente inapropriado, mas eu gosto muito
do "Handbook of mathematical logic". É uma coleção de artigos escritos
cada um por um especialista da área. O nome do editor é Barwise.

[]s, N.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================