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

3 resposta(s)

Carregar mais
;