Silva, Flávio Soares Corrêa da

Lógica para computação / Flávio Soares Corrêa da Silva, Marcelo Finger, Ana Cristina Vieira de Melo - 2.ed. - São Paulo Cengage Learning 2018 - 240 p.



978-85-221-2718-4


Lógica
Computação
Matemática
Lógica simbólica e matemática

511.3