Mathematical logic for computer science
Ben-Ari, Mordechai
Mathematical logic for computer science - London Springer-Verlag 2003, 2019 - xiv, 304 p. : ill. ; 24 cm.
Includes bibliographical references and index
8181283449 (pbk) 9781447173618 (hb)
Algebra --Electronic data processing--Computer science--Predicate calculus--Logic programming--Temporal logic--Algebra--FC--FBSH
511.3 / BEN
Mathematical logic for computer science - London Springer-Verlag 2003, 2019 - xiv, 304 p. : ill. ; 24 cm.
Includes bibliographical references and index
8181283449 (pbk) 9781447173618 (hb)
Algebra --Electronic data processing--Computer science--Predicate calculus--Logic programming--Temporal logic--Algebra--FC--FBSH
511.3 / BEN