Computational Logic - Gabbay, Dov M. (North-Holland, 2014)