Joao Pavao Martins

O objetivo do livro é a apresentação dos principais conceitos e metodologias associados à Lógica para estudantes universitários de Informática. Introduz as noções de proposição e de argumento e carate...