Souza, João Nunes de <br/><br/>Lógica para ciência da computação:  uma introdução concisa / João Nunes de Souza  - 2.ed.  - Rio de Janeiro  Elsevier  2008  - 220 p. <br/><br/>   <br/><br/><label>ISBN: </label>978-85-352-2961-5 <br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica--Computação.<br/>Lógica simbólica e matemática<br/><br/><label>Dewey Class. No.: </label>005.1