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 Tamas Gergely · First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 1991 edition] (2012)](https://imusic.b-cdn.net/images/item/original/038/9783642635038.jpg?tamas-gergely-2012-first-order-programming-theories-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1408509960)
![Cover for Tamas Gergely · First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/773/9783540542773.jpg?tamas-gergely-1991-first-order-programming-theories-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-book&class=scaled&v=1608562091)