Mathematical logic for computer science - Ben-Ari,Mordechal (London Springer, 2012)