A paper, not a book, but better than books on the subject: Automated Theorem Proving, David Plaisted https://wires.onlinelibrary.wiley.com/doi/abs/10.1002/wcs.

A paper, not a book, but better than books on the subject: Automated Theorem Proving, David Plaisted https://wires.onlinelibrary.wiley.com/doi/abs/10.1002/wcs.1269 https://wires.onlinelibrary.wiley.com/doi/abs/10.1002/wcs.12...