Mathematical logic for computer science /
Ben-Ari, M.,1948-
Hemel Hempstead : Prentice-Hall,
1993 [i.e. 1992].