I suggest: A Gentle Introduction to Symbolic Computation

https://www.cs.cmu.edu/~dst/LispBook/book.pdf