TY  - BOOK
AU  - Silva,Flávio Soares Corrêa da
AU  - Finger,Marcelo
AU  - Melo,Ana Cristina Vieira de
TI  - Lógica para computação
SN  - 978-85-221-2718-4
U1  - 511.3 
PY  - 2018///
CY  - São Paulo
PB  - Cengage Learning
KW  - Lógica
KW  - Computação
KW  - Matemática
KW  - Lógica simbólica e matemática
ER  -