TY  - BOOK
AU  - Souza,João Nunes de
TI  - Lógica para ciência da computação: uma introdução concisa
SN  - 978-85-352-2961-5
U1  - 005.1 
PY  - 2008///
CY  - Rio de Janeiro
PB  - Elsevier
KW  - Lógica
KW  - Computação
KW  - Lógica simbólica e matemática
ER  -