Mathematical logic for computer science - Mordechai, Ben-Ari (Springer, 2001)