South Eastern Kenya University

Library Online Public Access Catalogue


Logic for computer science /

Reeves, Steve,

Logic for computer science / Steve Reeves, Michael Clarke. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990. - xi, 260 p. : ill. ; 24 cm. - International computer science series .

Includes bibliographical references (p. 255-256) and index.

0201416433


Logic, Symbolic and mathematical.

QA 9 / .R4
Kitui, Kenya.
+254736116989
library@seku.ac.ke