00587pam a2200169 a 4500 0 0 0 0 RIU RIU 2012-07-16 Purchased: Pak Book Corporation 811.00 0 511.3 BEN 4073 2012-07-16 00:00:00 1 2019-02-21 BK 0 0 0 0 RIU RIU 2020-11-20 Purchased : Golden Books 2597.46 0 511.3 BEN 51893 2020-11-20 00:00:00 2 0061 2020-11-20 BK 2172 2172 8181283449 (pbk) 9781447173618 (hb) 511.3 BEN Ben-Ari, Mordechai Mathematical logic for computer science London Springer-Verlag 2003, 2019 xiv, 304 p. : ill. ; 24 cm. Includes bibliographical references and index Algebra Electronic data processing Computer science Predicate calculus Logic programming Temporal logic Algebra FC FBSH BK