Não gostou? Não há problema! Pode devolver no prazo de 30 dias
Não há como errar com um vale de oferta. O presenteado pode escolher qualquer produto da nossa oferta.
Política de devolução de 30 dias
This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.