Este livro é uma introdução à semântica formal. Em seus dez capítulos, os leitores terão contato com noções fundamentais da área e com ferramentas analíticas empregadas com sucesso por linguistas, lógicos e filósofos dedicados ao estudo do significado. Escrito em linguagem acessível, conta ainda com vários exercícios e sugestões de leitura, o que o torna especialmente atrativo para estudantes que se iniciam na área. Uma obra fundamental para todos aqueles com interesse na natureza e composição do significado linguístico.