Mathematical logic for computer science - Ben-ari, Mordechai (New Delhi Springer (India), 2003)
Keywords: Logic, Symbolic and mathematical; Computer science