Ben-Ari, Mordechai Mathematical logic for computer science Mordechai Ben-Ari - 2nd ed. - New Delhi Springer 2005 - xiv, 304p. ISBN: 9788181283443 595.00