Logic for computer science/

Main Author: Reeves, Steve, 1957-
Other Authors: Clarke, Michael,
Format: Book
Language:English
Published: Wokingham, England: Addison-Wesley, [c1990]
Series:International computer science series
Subjects:
Physical Description:xi, 260 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references (p. 255-256) and index.
ISBN:0201416433
9780201416435