Одна из лучших книг, где обобщенно и понятно рассмотрены логические исчисления, графы и др. Знания укладываются "по полочкам". После нее уже можно углубляться, в отдельные направления. Всем успехов в изучении предмета!