Logic for computer science /
Reeves, Steve,1957-
Clarke, Michael,1940-
Wokingham : Addison-Wesley,
1990.
Bibliography: p255-256. - Includes index
Electronic digital computers
Logic, Symbolic and mathematical.