Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7.

Krzysztof R. Apt Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7. 123-124 2002 2 TPLP 1 db/journals/tplp/tplp2.html#Apt02 http://dx.doi.org/10.1017/S1471068402001187