Silva, Flávio Soares Corrêa da. Lógica para computação / - São Paulo : Thomson, 2006. - 234p. ; Port. ISBN: 8522105170 Subjects--Topical Terms: LógicaLógica computacional Dewey Class. No.: 004.0151