I stopped reading through A Gentle Introduction to Symbolic Computing to check this book out. Honestly 20 pages into it seems like I need to go back and finish

I stopped reading through A Gentle Introduction to Symbolic Computing to check this book out. Honestly 20 pages into it seems like I need to go back and finish the first book before I have any hope of understanding the one you suggested. I'll give it another try afterwards though.