Por onde começar?

Para começar a estudar provadores de teoremas, minha sugestão é que se leia o livro

SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. Lógica para Computação. São Paulo: Thomson Learning, 2006.

Este livro conquistou o primeiro lugar do Prêmio Jabuti 2007 na categoria Ciência Exatas, Tecnologia e Informática.

Sou um pouco suspeito para falar porque meu orientador de doutorado (Marcelo Finger) é um dos autores. Outro autor (Flávio Silva) estava na minha banca de qualificação de doutorado.

O livro contém alguns problemas de digitação (e talvez outros que eu ainda não tenha percebido). Merece sem dúvida ser lançada uma versão revisada.