Dante the Wicked

Pegando uma boa bibliografia e estudando. On-line gratuito e em Portugues eu recomento o Wikilivro de Lógica, ( http://pt.wikibooks.org/wiki/L%C3%B3gica ) e o "Lógica e aplicações: Matemática, Ciência da Computação e Filosofia" de W.A. Carnielli , M.E. Coniglio e R. Biancon ( http://www.cle.unicamp.br/prof/carnielli/teaching.html ). On-line gratuito e em Inglês eu recomento Forall x ( http://www.fecundity.com/logic/download.html ). Caso você esteja disposto a comprar livros, em Portugues eu recomendo Introdução à Lógica, do Cézar Mortari, e Um Prelúdio à Lógica, do Hércules Araujo. Em Inglês há muitos títulos sobre o assunto. Eu recomendo a obra do Kleene, do Mendelson e do Raymond Smullyan.