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
Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some theories using a formal language; and more.
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?