Mathematical logic for computer science - Ben-Ari, M., 1948- (London ; New York : Springer, 2003)
2nd printing with corrections 2003.
Includes bibliographical references (p. [293]-295) and indexes.
Keywords: Logic, Symbolic and mathematical