Mathematical Logic for Computer Science - Ben-Ari, Mordechai (Springer London, 2012)