@book{booka8b329a3, title = {Lógica para computação}, author = {Silva, Flávio Soares Corrêa da and Finger, Marcelo and Melo, Ana Cristina Vieira de}, year = {2017}, publisher = {Cengage Learning} }