Lógica para Ciência da Computação e áreas afins : uma introdução concisa.
- 3. ed. Ampl.
- Rio de Janeiro : Elsevier, 2015.
- 361 p. : il.
- SOCIEDADE BRASILEIRA DE COMPUTAÇÃO .
Este livro apresenta, de forma concisa, os principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas afins como: Lógica para Concursos, Argumentação Lógica, Matemática, Engenharias, Filosofia e Direito. Para estudar seu conteúdo não é necessário nenhum pré-requisito, nem mesmo maturidade matemática.