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 R J Boulton · Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/250/9783540425250.jpg?r-j-boulton-2001-theorem-proving-in-higher-order-logics-14th-international-conference-tphols-2001-edinburgh-scotland-uk-september-3-6-2001-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1572678661)