4 (Muito bom)Uma introdução Um livro introdutório que apresenta os pontos mais importantes da lógica matemática. Me deixou com sede de estudar mais a fundo. Tem bastantes exercícios e as explicações são satisfatórias.