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