3 ms·

Those are all good books, I'd also recommend Common Lisp: A Gentle Introduction to Symbolic Computing.