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 =========================================================================
