Lógica Proposicional: Linguagem e Semântica
Introdução da Lógica Cássica para a Ciência da Computação
Autor: Benjamín René Callejas Bedregal
O endereço do link é: http://www.dimap.ufrn.br/%7Ejmarcos/books/BA_Jul07.pdf
