Mathematical logic for computer science /
Ben-Ari, M.,1948-
London : Springer,
c2001.
Includes bibliographical references and indexes.
Logic, Symbolic and mathematical.
Computer science