O invariante de Makar-Limanov ML(B) de uma k-álgebra afim B (com k corpo, que tipicamente será assumido de característica zero) é um invariante bastante importante, definido em termos dos núcleos de certas derivações especiais de B chamadas derivações localmente nilpotentes. O tema possui conexões com vários problemas centrais em Álgebra Comutativa, por exemplo, a Conjectura Jacobiana, o Décimo Quarto Problema de Hilbert, e o Problema do Cancelamento, e tem sido investigado por diversos autores. Neste trabalho, após a apresentação de conceitos e resultados básicos, nossa principal meta é a obtenção explícita da estrutura de ML(B) (como álgebra) quando B é o anel de coordenadas de certas hipersuperfícies algébricas afins especiais, a saber, as chamadas superfícies de Danielewski, bem como o famoso 3-fold de Makar-Limanov definido por x + x^2y + z^2 + t^3 = 0.