«Logic for Computer Science and Artificial Intelligence», benzeri kitaplar