Aviso de envio ao Brasil
A iMusic aguarda aprovação no programa Remessa Conforme. Até que a adesão seja concluída, compras enviadas ao Brasil serão tributadas integralmente, inclusive pedidos abaixo de USD 50.
De acordo com a existente cláusula em nossos Termos e Condições, nós não aceitamos devoluções por recusa do pagamento desses impostos.
Atualizado em 13/05/2026 · De todos da iMusic
![Cover for Mauricio Ayala-Rincon · Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science (Paperback Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/516/9783319516516.jpg?mauricio-ayala-rincon-2017-applied-logic-for-computer-scientists-computational-deduction-and-formal-proofs-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1516284796)