Dúvida sobre livros de Álgebra Elementar

Boa noite!

Estou procurando solidificar minha base em Aritmética e Álgebra elementares. Obtive um livro de Aritmética por indicação, "Praticando a Aritmética", de José Carlos Admo Lacerda.

Procuro um livro que exponha a teoria com abordagem semelhante, mas para Álgebra Elementar: conjuntos numéricos (inteiros, racionais, reais), expressões algébricas, monômios, polinômios, TFA, produtos notáveis, equações do primeiro e segundo grau, sistemas de equações do 1º grau... Basicamente, o conteúdo de Álgebra que é visto do 6º ao 9º ano do fundamental, mas numa abordagem "adulta".

Encontrei os livros "Álgebra para Escolas Técnicas e Militares", de Paulo César de Souza Leite Júnior e "Tópicos de Álgebra Elementar", de Ivan Monteiro, mas estou na dúvida porque não folheei esses livros. Eles formalizam os conceitos, provam teoremas?... Ou são mais voltados para resolução de exercícios? Alguém tem comentários a fazer desses 2 livros de Álgebra Elementar, ou outras indicações? Aceito até livros em inglês

Obrigado

Usei o livro Tópicos de Álgebra Elementar e gostei bastante, pois me ajudou a construir uma boa base em álgebra. Divide bem os assuntos para quem busca por uma base de álgebra para encarar concursos a nível fundamental. Ele é bastante objetivo na teoria, e os exercícios têm um bom nível.  O outro que você falou só conheço por nome mesmo