TY  - GEN
AU  - Huth, Michael
AU  - Ryan, Mark
TI  - Lógica em ciência da computação 
SN  - 978-85-216-1610-8
PY  - 2008///
CY  - Rio de Janeiro
PB  - LTC
KW  - Computação
KW  - 004
ER  -