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 Raatz · Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic (Paperback Book) [Softcover reprint of the original 1st ed. 1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/305/9780817635305.jpg?raatz-1990-graph-based-proof-procedures-for-horn-clauses-progress-in-computer-science-and-applied-logic-paperback-book&class=scaled&v=1604009264)