Alguem poderia dar uma dica de um bom livro para estudos sobre

Alguem poderia dar uma dica de um bom livro para estudos sobre Lógica voltado à computação?

Preciso de um livro (de preferencia em portugues) que traga um bom conteúdo, exemplos e exercicios sobre: proposições, tabela verdade e principalmente sobre metódos de dedução natural.

#livro
#Computação
#lgica
Disciplina:Lógica para Computação1.519 materiais