Logic for computer science - Reeves, Steve; Clarke, Michael (London : Addison-Wesley, 1990)
Includes bibliographical references.
Keywords: Computer science; Logic, Symbolic and mathematical