Sinopse: Este livro apresenta, de forma concisa, os primeiros e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas como Matemática, Filosofia, Engenharias e Direito. Para estudar seu conteúdo não é necessário nenhum pré-requisito, nem mesmo maturidade matemática, mas mesmo sendo introdutório, há uma ênfase na apresentação matemática rigorosa e no desenvolvimento de demonstrações mais elementares. Ele pode ser utilizado como livro-texto em diversos tipos de disciplinas de Lógica. Em uma disciplina de dois semestres para alunos do início da graduação, ou semestral no final da graduação. Outra possibilidade é utilizá-lo na pós-graduação, caso em que todas as demonstrações e exercícios devem ser considerados em detalhe.
Biografia: João Olavo Soares de Souza, mais conhecido como Feijão, é um ex-tenista profissional do Brasil. Ele já foi número 69 em simples e 70 em duplas no ranking da ATP.
